Document bug fix in CHANGES.

diff --git a/CHANGES.html b/CHANGES.html
index ed1e9b4e474bfe4330c3bc7e70411fbe1764065a..976b1169445551f28e1c3e1948baf80c63b4c76d 100644 (file)
--- a/CHANGES.html
+++ b/CHANGES.html
@@ -68,6 +68,20 @@ span.command {
 <p>This file documents recent user-visible changes to <a
  href="http://www.greenend.org.uk/rjk/disorder/">DisOrder</a>.</p>
 
+<h2>Changes up to version 5.0.1</h2>
+
+<div class=section>
+
+<h3>Disobedience</h3>
+
+<div class=section>
+
+<p>The sense of the Control &#x2192; Playing menu item was fixed.</p>
+
+</div>
+
+</div>
+
 <h2>Changes up to version 5.0</h2>
 
   <div class=section>