CHANGELOG entry about the big set/map rename.
Failed
Robbert Krebbers
created pipeline for commit
3c484ebe
, finished
For master
15 minutes 30 seconds, queued for 1,223 seconds