[minor] Changes fix

the PR number was missing, as reported by Gaëtan Gilbert.
2019-11-23 22:36:44 +01:00 · 2019-11-23 22:36:44 +01:00 · ec5a85c26f
parent fe31a0179d
commit ec5a85c26f
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -42,7 +42,7 @@ Working version
 - #8938: Extend ocamlopt option "-stop-after" to handle "scheduling" argument.
  (Greta Yorsh, review by Florian Angeletti and Sébastien Hinderer)

- #8945: Fix toplevel show directive to work with constructors
+- #8945, #9086: Fix toplevel show directive to work with constructors
  (Simon Parry, review by Gabriel Scherer, Jeremy Yallop,
  Alain Frisch, Florian Angeletti)