levkowetz · levkowetz · commit d5f18de71f3e · 2019-11-20T09:58:11.000Z
- Legacy-Id: 17066
diff --git a/hold-for-merge b/hold-for-merge
@@ -1,5 +1,6 @@
 # -*- conf-mode -*-
 
+/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]
 
