changes Readme.html

diff --git a/Readme.html b/Readme.html
index 86b8d61394410b7276d66eb8a5064f5fa5c850c1..50b3eb633a5aef142016359bd82add861a1212e6 100644 (file)
--- a/Readme.html
+++ b/Readme.html
@@ -283,7 +283,7 @@ see javassist.Dump.
 
 <p>-version 3.25
 <ul>
-    <li>GitHub Issue #72.
+    <li>GitHub Issue #72 (PR #231).
 </ul>
 
 <p>-version 3.24.1 on December 9, 2018