fix changelog for commit 4ab6b5ce77b7fa93fb7038fd3b97540dcb6a74c9 (PR#7368 instead of PR#7378)
fix changelog for commit 4ab6b5ce77b7fa93fb7038fd3b97540dcb6a74c9 (PR#7368 instead of PR#7378)

gerdstolpmann/ocaml,yunxing/ocaml,yunxing/ocaml,gerdstolpmann/ocaml,yunxing/ocaml,yunxing/ocaml,msprotz/ocaml,gerdstolpmann/ocaml,msprotz/ocaml,msprotz/ocaml,yunxing/ocaml,msprotz/ocaml,msprotz/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml