diff --git a/mps/procedure/pull-request-merge.rst b/mps/procedure/pull-request-merge.rst
index 5642d766888..e2ab33cddb7 100644
--- a/mps/procedure/pull-request-merge.rst
+++ b/mps/procedure/pull-request-merge.rst
@@ -417,6 +417,7 @@ B. Document History
 
 ==========  =====  ==================================================
 2023-01-07  RB_    Created.
+2023-01-13  RB_    Updates after first attempt at execution.
 ==========  =====  ==================================================
 
 .. _RB: mailto:rb@ravenbrook.com