On Wed, 29 Apr 2020 20:59:26 -0400 (EDT), "David A. Wheeler" <[email protected]> wrote: > I have an updated Gource visualization of set.mm progress, and > I plan to make it publicly visible tomorrow afternoon. You can see it here: > https://www.youtube.com/watch?v=JnXTuq6sos4&feature=youtu.be
I've received a few comments, thanks for them! REQUEST: There are still some contributors I don't have a representative image for. They don't need to be your face; Mario uses a symbol. If you can help me fill in any gaps that'd be great. I intend to respond to those comments & regenerate the video late this weekend, and then post the "real" updated version. --- 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/E1jUDXe-0000eq-FX%40rmmprod06.runbox.
