Hi Thierry, thank you for the information: I have a Github account and I´ll participate there ASAP today. Thank you: Peter
On Thu, Jan 20, 2022 at 7:33 AM Thierry Arnoux <[email protected]> wrote: > > Hi Péter, > > FYI, a discussion is going on the GitHub pull request Jim opened for > you, you might want to check it out: > > https://github.com/metamath/set.mm/pull/2435 > > Do you have a GitHub account? Would you be able to participate there? > > BR, > _ > Thierry > > -- 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/CAJJTU5qckaJbtgG%3De6oDz-Eh4vO7ZgnJdtNuLjM065Z-6BCnsQ%40mail.gmail.com.
