Commit a2965dbecb29aa632bfb7346d3f970ae1545dde3

Stefan Sperling 2018-06-22T09:52:27

fix got_object_idset_remove_random() for single-element set