[changes] Nit.

rocq-archive · Feb 16, 2020 · d91ded4 · d91ded4
1 parent 70a1710
commit d91ded4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -2,7 +2,7 @@
 
  * [general] (!) support Coq 8.11, a few datatypes have changed, in
              particular `CoqAst` handles locations as an AST node, and
-             the kernel type includes primitive floats.
+             the kernel type includes primitive floats (@ejgallego).
  * [general] (!) Now the `sertop` and `serapi` OCaml libraries are
              built packed, we've also bumped their compat version number
              (#192 @ejgallego)