Alexander van der Vekens <avek...@yahoo.de> wrote: > On Thursday, February 13, 2020 at 7:22:58 AM UTC+1, heiph...@wilsonb.com > 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.
Thanks. I was unsure whether stakes on runs from the previous false start also applied here. Either way, I am running 102 now. Will take another tomorrow once this completes. -- 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 metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/203II5EG6LQW0.2HB13KTPPCEVT%40wilsonb.com.
