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 #130499
fp
build-coq.8.10.2

00:04:39

passed #130498
fp
build-coq.8.13.2-mr

00:04:16