]> gitweb.factorcode.org Git - factor.git/commit
help.lint.checks: Ignore linux-monitors as not real leaks.
authorDoug Coleman <doug.coleman@gmail.com>
Sat, 7 Jul 2018 22:32:06 +0000 (17:32 -0500)
committerDoug Coleman <doug.coleman@gmail.com>
Sat, 7 Jul 2018 22:32:06 +0000 (17:32 -0500)
commit565ac276cd022ef4bf7f117a2e508ce04dcb2b57
treec56d36000335667788613b5902a4ef1fcc1dc1a6
parentf140d48e24aa8ed3a1ca57798f36a542db8bcfc7
help.lint.checks: Ignore linux-monitors as not real leaks.

Fixes #2014.
basis/help/lint/checks/checks.factor