Commit 13e51608f0cc4d543d573a2194077091608875c5

Stefan Sperling 2018-09-15T12:23:14

fix bug where duplicates were being added to object idset