Can I get a review on https://github.com/metamath/set.mm/pull/2927 ?
There's a moderately detailed comment there describing what this is
about, but please do ask if you still have questions. It is quite
similar to recently merged pull requests.
(And while I'm at it https://github.com/metamath/set.mm/pull/2929 and
https://github.com/metamath/metamath-exe/pull/106 are small
documentation fixes ready for review).
--
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/a0b2fb44-4537-8576-50c1-18f0b3d861f0%40panix.com.
