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
--
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/FD59CE8A-A3AA-4095-9896-361A47F685D6%40panix.com.
