diff --git a/CHANGES.current b/CHANGES.current
index a6b470c85..baf68ee4e 100644
--- a/CHANGES.current
+++ b/CHANGES.current
@@ -5,7 +5,7 @@ Version 1.3.37 (in progress)
 	    [PHP5] Change the default input typemap for char * to turn PHP
 	    Null into C NULL (previously it was converted to an empty string).
 	    The new behaviour is consistent with how the corresponding output
-	    typemap works.
+	    typemap works (SF#2025719).
 
 	    If you want to keep the old behaviour, add the following typemap
 	    to your interface file (PHP's convert_to_string_ex() function does