diff --git a/master_changes.md b/master_changes.md
index 009aa63d872..2435437ef26 100644
--- a/master_changes.md
+++ b/master_changes.md
@@ -59,7 +59,7 @@ users)
 ## Opamfile
 
 ## External dependencies
-  * [BUG] Fix apt/debian lookup for installed packages [#XXX @rjbou]
+  * [BUG] Fix apt/debian lookup for installed packages [#6054 @rjbou]
 
 ## Format upgrade