status.20x: add a bug number

diff --git a/status.20x b/status.20x
index c8520edf888de29f158b46b9d3804e662339067d..ef779bd781b3fc1b4fe2735d32f0e690ed88e825 100644 (file)
--- a/status.20x
+++ b/status.20x
@@ -69,8 +69,8 @@ What's new
 
 * DOCUMENT INPUT/OUTPUT
 
-- Fixed occasional crash when exporting a document while View>Source is
-  open and being updated (bug). 
+- Fixed occasional crash when exporting a document while View->Source is
+  open and being updated (bug 8425). 
 
 - Load the babel package also if the document is English-only (bug 8423).