Update CHANGES.
commitd87a491f4b02efd23bb4922a979a25bf5782f6af
authorGuillaume Melquiond <guillaume.melquiond@inria.fr>
Sat, 21 Mar 2020 07:30:11 +0000 (21 08:30 +0100)
committerGuillaume Melquiond <guillaume.melquiond@inria.fr>
Sat, 21 Mar 2020 07:30:11 +0000 (21 08:30 +0100)
treed48363cb1da382f9ba4bb26dd20c2422c323660c
parenta0ec7d880b630359320756fbeda3ca83389f9595
Update CHANGES.
CHANGES.md