I see there's a new branch on metacoq called maste; I take it this is a mispush?
maste
Indeed
I'll delete it
Last updated: Oct 13 2024 at 01:02 UTC