fix: make grind_lint see custom grind attrs#13839

raphael-solace wants to merge 1 commit into

leanprover:masterleanprover/lean4:masterfrom

raphael-solace:rc/grind-lint-custom-setsraphael-solace/lean4:rc/grind-lint-custom-setsCopy head branch name to clipboard