Commit 357976963ec7228d4790d9524142943f5ecf112e

Behdad Esfahbod 2021-08-24T10:55:12

[set] One more try at fixing clear() on empty set