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.

Reply via email to