Commits

Dave Abrahams committed 32db8f7decfM
Merge pull request #3612 from ddunbar/collection-doc [stdlib] Update a documentation comment for SE-0118.
Merge pull request #3612 from ddunbar/collection-doc [stdlib] Update a documentation comment for SE-0118.