Update the CHANGELOG.

2 jobs for !368 with fixpoint-tele_arg in 7 minutes and 49 seconds (queued for 4 seconds)
merge request