[plugin] Patch management: fix disabling plugin (#12849)

Fixes #12841.
This commit is contained in:
Frans de Jonge
2024-12-04 23:47:20 +01:00
committed by GitHub
parent 67af55bb7e
commit 9de3b33421

View File

@@ -1,6 +1,6 @@
local _ = require("gettext")
return {
name = "patch_management",
name = "patchmanagement",
fullname = _("Patch management"),
description = _("This plugin allows enabling, disabling or editing user patches."),
}