fix(hygiene): accept the heartbeat reason where Mathlib's linter wants it - #586

fix(hygiene): accept the heartbeat reason where Mathlib's linter wants it#586

SamuelSchlesinger merged 1 commit into

maincslib-community/complexitylib:mainfrom

fix/hygiene-heartbeat-commentcslib-community/complexitylib:fix/hygiene-heartbeat-commentCopy head branch name to clipboard