K 10 svn:author V 2 ed K 8 svn:date V 27 2014-07-10T15:56:15.344079Z K 7 svn:log V 87 Let users(1) use an std::set, instead of std::{vector,sort,unique}. Reviewed by: gahr END