From a8829bdaeea8da9b83c90641cc2a89b35b4fe0a1 Mon Sep 17 00:00:00 2001 From: Henrik Levkowetz Date: Wed, 29 Jul 2020 10:58:45 +0000 Subject: [PATCH] - Legacy-Id: 18303 --- hold-for-merge | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/hold-for-merge b/hold-for-merge index 7facbc0e0..992b9618b 100644 --- a/hold-for-merge +++ b/hold-for-merge @@ -1,8 +1,10 @@ # -*- conf-mode -*- -^/personal/markd/v6.127.1.dev1@17694 # Review still shows issues, henrik will rework (29 Apr 2020) -^/personal/markd/v6.120.0.dev0@17570 # Review issues to be resolved (08 Apr 2020) -^/personal/mahoney/6.121.1.dev0@17473 # Test commit +/personal/rjs/7.11.1.dev0@18298 # Hold for reconsideration and discussion; 28 Jul 2020 + +/personal/markd/v6.127.1.dev1@17694 # Review still shows issues, henrik will rework (29 Apr 2020) +/personal/markd/v6.120.0.dev0@17570 # Review issues to be resolved (08 Apr 2020) +/personal/mahoney/6.121.1.dev0@17473 # Test commit /personal/kivinen/6.94.2.dev0@16091 # Replaced by later commit /personal/rjs/6.104.1.dev0@16809 # Local changes, not for merge /personal/rjs/6.103.1.dev0@16761 # Fixed in a different manner in [16757]