An update: Now I've also finished job 132, available here: https://dwheeler.com/temp/job132.log
My computer is now busy on jobs 144-151. I could pick up one more soon. If no one else takes it up, I could work on 155 starting probably tomorrow. That would leave 157-159 unassigned. I could work on those once more jobs finish, but I don't know how long the current jobs will take. --- David A. Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/E1j33Y0-00028f-Sa%40rmmprod07.runbox.
