Here is an update of current commitments as of Feb. 13, 17:30 EST : 101 Alexander 102 heiphohmia 103-111 David Starner 112 David A. Wheeler 113-124 UNASSIGNED 125-132 David A. Wheeler 133-134 UNASSIGNED 135-143 David Starner 144-151 David A. Wheeler 152-160 UNASSIGNED
Thierry has volunteered starting next week. David S., you mentioned "batches of 8" but your ranges have 9 each. Do you want to adjust them or keep them as is? 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 metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/67a1e124-4dc2-443d-89f2-d71e34793052%40googlegroups.com.