help.lint.checks: Ignore linux-monitors as not real leaks.

Fixes #2014.

diff --git a/basis/help/lint/checks/checks.factor b/basis/help/lint/checks/checks.factor
index a10315bb4ce0c7f5ba170fb0e81d862b710bbcfd..af7880d9b3bfdd2722462d9f3e46178cbe3610af 100644 (file)
--- a/basis/help/lint/checks/checks.factor
+++ b/basis/help/lint/checks/checks.factor
@@ -26,6 +26,7 @@ SYMBOL: vocab-articles
             "line" ! core-text
             "layout" ! ui.text.pango
             "script-string" ! windows.uniscribe
+            "linux-monitor" ! github issue #2014, race condition in disposing of child monitors
         } member?
     ] reject ;