> I will delete the previous two messages shortly.
Ok. It seems to work now with the modified email address. Apparently, the issue was that my preferred address was listed as an alternate address for my Google account, and my Gmail address was already in the group.. Now, hopefully, back to the main topic. :-) — Samiro Discher ________________________________ Von: [email protected] <[email protected]> im Auftrag von Mario Carneiro <[email protected]> Gesendet: Dienstag, 11. Oktober 2022 21:27:25 An: Metamath Betreff: Re: [Metamath] My contribution to Metamath's mmsolitaire project Yes indeed, let's not post email addresses publicly like that without consent. I will delete the previous two messages shortly. -- 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]<mailto:[email protected]>. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/fd6ac4aa-28d6-48fc-90fd-d63e0c73fcedn%40googlegroups.com<https://groups.google.com/d/msgid/metamath/fd6ac4aa-28d6-48fc-90fd-d63e0c73fcedn%40googlegroups.com?utm_medium=email&utm_source=footer>. -- 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/0afa9cc4c2934510a2832238e8f1477c%40rwth-aachen.de.
