# HG changeset patch
# User HackBot
# Date 1481513060 0
# Node ID fb3529990ed42f0ccd669bc1ee4fc2f9ea0c3429
# Parent  67e1a11cc04ef0bdbedfc48eaab0164684506bb0
<oerjan> ` echo \'121:122 194:196 770:771 1000:1001 1493 1497 2113:2114 3341:3343 4530:4531 5136:5137 5642:5643 5895 5897 8669:8678 9070:9071 9074:9075\' | xargs -n 1 >share/scowrevs

diff -r 67e1a11cc04e -r fb3529990ed4 share/scowrevs
--- a/share/scowrevs	Mon Dec 12 03:20:01 2016 +0000
+++ b/share/scowrevs	Mon Dec 12 03:24:20 2016 +0000
@@ -1,29 +1,16 @@
-121
-122
-194
-195
-196
-770
-771
-1000
-1001
+121:122
+194:196
+770:771
+1000:1001
 1493
 1497
-2113
-2114
-3341
-3342
-3343
-4530
-4531
-5136
-5137
-5642
-5643
+2113:2114
+3341:3343
+4530:4531
+5136:5137
+5642:5643
 5895
 5897
 8669:8678
-9070
-9071
-9074
-9075
+9070:9071
+9074:9075