From 88a9d9b572be7e419538739456599e50525e8326 Mon Sep 17 00:00:00 2001
From: chibash <chiba@javassist.org>
Date: Tue, 11 Dec 2018 15:43:33 +0900
Subject: [PATCH] changes Readme.html

---
 Readme.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Readme.html b/Readme.html
index 86b8d613..50b3eb63 100644
--- a/Readme.html
+++ b/Readme.html
@@ -283,7 +283,7 @@ <h2>Changes</h2>
 
 <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