Changes entry for #9212
Changes entry for #9212

(cherry picked from commit 7bf11b9d8c79b187d7b460f1656d601f6a29a1a0)

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml