Jim Kingdon <[email protected]> wrote: > > > On September 9, 2023 3:29:19 PM PDT, heiphohmia via Metamath > <[email protected]> wrote: > > . FYI, the README > >in metamath-website-scripts still mentions contacting Norm 😢 > > If this is the mention I am thinking of, I'm way ahead of you: > https://github.com/metamath/metamath-website-seed/pull/17
Nice! Some bumps here and there, but mostly things are humming along smoothly, I see. -- 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/35UQ2P1MCO9O7.3SUA2QV5O5GZD%40wilsonb.com.
