add missing changelog entry

diff --git a/ChangeLog b/ChangeLog
index 3552a613ebb2ab7f4b6d02cbda242432d1dafb67..84110a365a8ad527116f461907add849c7eab180 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -6,6 +6,9 @@ Sat 25 May 2019 08:27:39 AM CEST
   gnunet-identity command when there are many (hundreds)
   of egos at the same peer. -CG
 
+Sun May 12 12:00:00 2019 +0200
+  Releasing GNUnet 0.11.4. -MS
+
 Thu May 9 23:35:24 2019 +0200
   gnunet-identity can now output the public key on creation of new
   egos, and -e can act as a filter when listing all egos. -CG