Updating release notes to include Opera history fix.
git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@7590 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/distro-source/core/src/release_notes.html b/distro-source/core/src/release_notes.html
index 6ef156e..85660f0 100644
--- a/distro-source/core/src/release_notes.html
+++ b/distro-source/core/src/release_notes.html
@@ -65,6 +65,7 @@
<h3>Noteworthy Fixed Issues</h3>
<ul>
<li>Using a PopupPanel in Internet Explorer without a history IFrame throws a NullPointerException (<a href="http://code.google.com/p/google-web-toolkit/issues/detail?id=4584">#4584</a>)</li>
+ <li>Opera support for History is not working (<a href="http://code.google.com/p/google-web-toolkit/issues/detail?id=3956">#3956</a>)</li>
</ul>
<hr/>
