Commit 2892fc71e8733890db666afe0ccbd491c0c0bbd2

Behdad Esfahbod 2022-11-18T18:03:59

[vector] Add std::move to pop() This was removed in 76fc27713f52cc338f0325650c2c7798f5cfa2ce, but I believe that was faultly. It was because of a bad move implementation in the set.