bump nanobruijn: port upstream nanoda infer_proj fix#39

nomeata merged 1 commit into

masterleanprover/lean-kernel-arena:masterfrom

nomeata/bump-nanobruijn-proj-fixleanprover/lean-kernel-arena:nomeata/bump-nanobruijn-proj-fixCopy head branch name to clipboard