Updated merge hold and ready lists.

levkowetz · levkowetz · commit 267bd5904030 · 2020-05-04T13:00:17.000Z
- Legacy-Id: 17726
diff --git a/hold-for-merge b/hold-for-merge
@@ -1,5 +1,6 @@
 # -*- conf-mode -*-
 
+^/personal/markd/v6.120.0.dev0@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
diff --git a/ready-for-merge b/ready-for-merge
@@ -7,6 +7,8 @@
 
 # --- Add entries at the top ---
 
+^/personal/rjs/6.128.1.dev0@17712
+
 ^/personal/housley/6.121.1.dev0@17521
 ^/personal/housley/6.121.1.dev0@17505
 
