# HG changeset patch
# User HackBot
# Date 1481341957 0
# Node ID 62e6d759c7ed1af722599c3aef268d2d40210c37
# Parent  5fed8477e93f92b82d58bd25c9e277e88e31168c
<shachaf> ` echo $\'5137\\n5136\' >> share/scowrevs; sort share/scowrevs -o share/scowrevs

diff -r 5fed8477e93f -r 62e6d759c7ed share/scowrevs
--- a/share/scowrevs	Sat Dec 10 03:51:43 2016 +0000
+++ b/share/scowrevs	Sat Dec 10 03:52:37 2016 +0000
@@ -1,14 +1,12 @@
+1000
+1001
 121
 122
+1493
+1497
 194
 195
 196
-770
-771
-1000
-1001
-1493
-1497
 2113
 2114
 3341
@@ -16,10 +14,14 @@
 3343
 4530
 4531
+5136
+5137
 5642
 5643
 5895
 5897
+770
+771
 9070
 9071
 9074