From d91ded4f24e50868d39025cdc6bc51240114e707 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Sun, 16 Feb 2020 17:21:10 -0500
Subject: [PATCH] [changes] Nit.

---
 CHANGES.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGES.md b/CHANGES.md
index 93b77e32..66c13d2e 100644
--- 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)