pull request review
31 views
Skip to first unread message
Jim Kingdon
Nov 23, 2022, 9:55:32 AM11/23/22
to metamath
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).
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).
Benoit
Nov 23, 2022, 10:46:39 AM11/23/22
to Metamath
Ok, I'll take this today or tomorrow.
Reply all
Reply to author
Forward
0 new messages