log mod_vjud/mod_vjud.lua @ 5396:ac7c5669e5f5

age author description
Sat, 19 Mar 2022 17:52:33 +0000 Matthew Wild mod_vjud: Add permission parameter "any" for compatibility with 0.12 (fixes #1720)