Update ChangeLog

thierry-martinez · Jul 15, 2022 · 56a7e25 · 56a7e25
1 parent e1896d0
commit 56a7e25
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/ChangeLog b/ChangeLog
@@ -9,7 +9,9 @@
 
 - Updated port to `dune`
   (Marek Kubica, https://github.com/thierry-martinez/stdcompat/pull/16,
-   https://github.com/thierry-martinez/stdcompat/pull/19)
+   https://github.com/thierry-martinez/stdcompat/pull/19
+   with contribution from Kate,
+   https://github.com/thierry-martinez/stdcompat/pull/21)
 
 - Add support for `flambda2`
   (Guillaume Bury, https://github.com/thierry-martinez/stdcompat/pull/14)