On Thursday, November 24, 2022 at 9:58:06 PM UTC+1 [email protected] wrote:
> Thanks for the answer, so I should report it on github? > Yes please. -- 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/11c5e2b2-a79f-4b27-9601-b5fe20f8cf2en%40googlegroups.com.
