v0.0-1908-ga8eea151: Merge pull request #1197 from hzeller/use-emplace-instead-of-insert
github-actions
released this
18 Feb 01:58
·
1986 commits
to master
since this release
Give set insert a chance to be faster by using emplace().