From 0b8b269010aeeb445cda483cfce7524f17eb8ebd Mon Sep 17 00:00:00 2001
From: "Schanzenbach, Martin" <mschanzenbach@posteo.de>
Date: Wed, 5 Jun 2019 21:31:14 +0200
Subject: add note on rest docs

---
 news/2019-0.11.5.inc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/news/2019-0.11.5.inc b/news/2019-0.11.5.inc
index 958944e0..a09fdf6a 100644
--- a/news/2019-0.11.5.inc
+++ b/news/2019-0.11.5.inc
@@ -8,7 +8,10 @@
   <p>
     This is a bugfix release for 0.11.4, mostly fixing a few
     minor bugs and improving performance, in particular for
-    identity management with a large number of egos.  In
+    identity management with a large number of egos.
+    In the wake of this release, we also launched the 
+    <a href="https://rest.gnunet.org">REST API documentation</a>.
+    In
     terms of usability, users should be aware that there are still a large
     number of known open issues in particular with respect to ease of use,
     but also some critical privacy issues especially for mobile users.
-- 
cgit v1.2.3