add CHANGES

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