Mention JSON library change in release notes (#14105, #13944)

Change-Id: I4c9d24fdf0fa43c1abbe1843887b1a0001084a60

diff --git a/WebContent/release-notes.html b/WebContent/release-notes.html
index c90bc0159a2cbfe1532b4befa3988f6e4fc5d1a2..0ede61d729294b5c79f4414bc2a7d2b836fdd4b9 100644 (file)
--- a/WebContent/release-notes.html
+++ b/WebContent/release-notes.html
@@ -124,6 +124,8 @@
                 </p>
             </li>
             <li>The theme for the debug window is now implemented using a GWT client bundle and is no longer included in the standard theme.</li>
+            <li>Reverted to use JSON.org implementation of the JSON library instead of the Android implementation that was used in Vaadin 7.2.
+                See <a href="licenses/the-json-license.txt">the-json-license.txt</a> for information about its license.</li>
         </ul>
         <h3 id="knownissues">Known issues</h3>
         <ul>