Stefano Zacchiroli 162bbd3ac8 bin/batch: do not use $MIN_ID when not given		2015-04-26 14:29:15 +02:00
..
batch	bin/batch: do not use $MIN_ID when not given	2015-04-26 14:29:15 +02:00
ghlister	initial check in	2015-04-26 10:32:17 +02:00