From 2e2a203cb273549863d41d036ccce8e58f877b44 Mon Sep 17 00:00:00 2001 From: Andrew Lewis Date: Wed, 6 Sep 2023 14:12:45 +0200 Subject: [PATCH] [Minor] Remove unwanted debug logging --- src/plugins/lua/settings.lua | 1 - 1 file changed, 1 deletion(-) diff --git a/src/plugins/lua/settings.lua b/src/plugins/lua/settings.lua index 3027a541f..69d31d301 100644 --- a/src/plugins/lua/settings.lua +++ b/src/plugins/lua/settings.lua @@ -336,7 +336,6 @@ local function check_settings(task) end local min_pri = 1 - lua_util.debugm(N, task, "hui: %s", id_elt) if query_apply then if priority >= min_pri then -- Do not check lower or equal priorities -- 2.39.5