> On Oct 9, 2022, at 3:05 PM, 'Samiro Discher' via Metamath
> <[email protected]> wrote:
> I hope this is somewhat readable, if something is still unclear, feel free to
> ask. And let's hope at least David is still alive .. (´ ∀ ` *)
Me too :-).
Mario can certainly accept changes to it. Changes in the "seed" are rare, but I
think we should use the same process: someone proposes it, someone else reviews
& approves it, then it can be merged (accepted).
--- 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/7A642A67-E123-4824-B5E4-6DA398978F54%40dwheeler.com.
