> I think we can revisit and improve things, but whatever build and > distribution process changes are made needs to be something that Norm is > willing to accept. Norm has limited time and his own preferences. >
Why does he let people waste their time talking if he knows he doesn't want it ? -- FL -- 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/0eef345b-0d1c-478e-8b28-5a16ed19a811%40googlegroups.com.
