add CHANGES

(cherry picked from commit a5524b5f)
18 jobs for u/fanf2/optionally-disable-digrc-v9_12 in 7 minutes and 45 seconds (queued for 5 seconds)