Update the CHANGELOG.

2 jobs for !368 with fixpoint-tele_arg in 1 minute (queued for 4 seconds)
merge request