From bbf6fc7fbaf5ab58cf42fa7874e17862d4037f2f Mon Sep 17 00:00:00 2001 From: Richard Brooksby Date: Fri, 13 Jan 2023 05:07:43 +0000 Subject: [PATCH] Updating document history. --- mps/procedure/pull-request-merge.rst | 1 + 1 file changed, 1 insertion(+) 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