nanoclo: bump to b8cefd0 for the new bug and corner-case tests - #324

nanoclo: bump to b8cefd0 for the new bug and corner-case tests#324

sgraf812 wants to merge 1 commit into

leanprover:masterleanprover/lean-kernel-arena:masterfrom

sgraf812:nanoclo-nov-fixessgraf812/lean-kernel-arena:nanoclo-nov-fixesCopy head branch name to clipboard