]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #39708 - jethrogb:patch-4, r=frewsxcv
authorbors <bors@rust-lang.org>
Fri, 10 Feb 2017 14:26:18 +0000 (14:26 +0000)
committerbors <bors@rust-lang.org>
Fri, 10 Feb 2017 14:26:18 +0000 (14:26 +0000)
Update set operations documentation

Reminding people of set terminology.


Trivial merge