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

Fixes #2014.
2018-07-07 17:32:06 -05:00 · 2018-07-07 17:32:06 -05:00 · 565ac276cd
parent f140d48e24
commit 565ac276cd
1 changed files with 1 additions and 0 deletions
--- 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 ;