On Saturday, February 15, 2020 at 9:35:05 PM UTC-5, David A. Wheeler wrote: ...
> Jobs 157-159 are unassigned. If they're still unassigned, I could take one > (presumably 157) once 149 completes (presumably tomorrow AM). > Can I snag 157 as well? > OK, I'll assign 157 to you. Norm -- 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/88673fc3-7d62-4ecb-8140-4e413c381476%40googlegroups.com.
