With regards to the list Vitalyi sent last night:
it seems to me the runs that crashed should be given priority over runs
past 11150 (which is what has been crunching) since these are the runs
people giving talks are using.
n
This archive was generated by hypermail 2.1.2 : Mon Feb 24 2014 - 14:07:31 EST