dump: treat >20 footnotes as an error (causes "regressions", of course)
authorBen Pfaff <blp@cs.stanford.edu>
Sun, 2 Nov 2014 23:17:03 +0000 (15:17 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Sun, 2 Nov 2014 23:17:03 +0000 (15:17 -0800)

No differences found