- Legacy-Id: 17066

2019-11-20 09:58:11 +00:00 · 2019-11-20 09:58:11 +00:00 · d5f18de71f
parent f09c404a5e
commit d5f18de71f
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -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]