On Thursday, February 13, 2020 at 7:22:58 AM UTC+1, [email protected] wrote: > > The problem was on my end. The build system I was using ended up lying > about > deleting the old zip. Manually removed and I see 0.181 now. > > Are 101 and 102 still open now? If so, I will take them. Otherwise, my > stake is > on the next two lowest ordinals. > I plan to run job101 again today, so you should start with 102, please.
-- 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/7a9247a3-b458-4d0f-91f3-d02ad74ea7dc%40googlegroups.com.
