From 53fe139b92847c2ab391cf4a51e50fc7a295946a Mon Sep 17 00:00:00 2001 From: Benoit Marty Date: Thu, 8 Dec 2022 18:46:41 +0100 Subject: [PATCH] Disable unknown issue --- tools/lint/lint.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/lint/lint.xml b/tools/lint/lint.xml index 3d3b073749..ddb2e1b0c5 100644 --- a/tools/lint/lint.xml +++ b/tools/lint/lint.xml @@ -113,5 +113,5 @@ - +