# HG changeset patch
# User HackBot
# Date 1481341986 0
# Node ID 81dccaed48c7065b1b5ef0933e47a456ff0fb382
# Parent  62e6d759c7ed1af722599c3aef268d2d40210c37
<shachaf> ` sort -n share/scowrevs -o share/scowrevs

diff -r 62e6d759c7ed -r 81dccaed48c7 share/scowrevs
--- a/share/scowrevs	Sat Dec 10 03:52:37 2016 +0000
+++ b/share/scowrevs	Sat Dec 10 03:53:06 2016 +0000
@@ -1,12 +1,14 @@
-1000
-1001
 121
 122
-1493
-1497
 194
 195
 196
+770
+771
+1000
+1001
+1493
+1497
 2113
 2114
 3341
@@ -20,8 +22,6 @@
 5643
 5895
 5897
-770
-771
 9070
 9071
 9074