Community
Participate
Working Groups
A simple get on the HashSet is sufficient. There can be no duplicate keys.
Created attachment 173498 [details] patch
Good point, patch applied to CVS Head. Thanks Stefan!