Just a reminder - if you have not yet done so, please view my Gource video showing set.mm contributions:
https://youtu.be/XC1g8FmFcUU ... and if you like it, please give it a "like". I think it's a very interesting view of contributions over time. Thanks! --- David A. Wheeler -- 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/E1iIbFo-0004uY-NE%40rmmprod07.runbox.
