Update changelog

2 jobs for !269 with map_filter_strong_ext in 4 minutes and 39 seconds (queued for 1 second)
detached
Status Job ID Name Coverage
  Build
passed build-coq.8.10.2 #130499
fp

00:04:39

passed build-coq.8.13.2-mr #130498
fp

00:04:16