diff options
| -rw-r--r-- | src/plugins/lua/settings.lua | 1 |
1 files changed, 0 insertions, 1 deletions
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 |