# HG changeset patch
# User HackBot
# Date 1480648773 0
# Node ID 9370cb4a08772a9f20a5d363e158b013b4fa3cab
# Parent  988c125c33c669744e1156571a2fccbe2dce55a6
<shachaf> ` for r in 121 122 194 195 196 770 771 1000 1001 1493 1497 2113 2114 3341 3342 3343 4530 4531 5642 5643 5895 5897 9070 9071 9074 9075; do echo $r; done | sort > share/badrevs

diff -r 988c125c33c6 -r 9370cb4a0877 share/badrevs
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/share/badrevs	Fri Dec 02 03:19:33 2016 +0000
@@ -0,0 +1,26 @@
+1000
+1001
+121
+122
+1493
+1497
+194
+195
+196
+2113
+2114
+3341
+3342
+3343
+4530
+4531
+5642
+5643
+5895
+5897
+770
+771
+9070
+9071
+9074
+9075