log mod_vjud/mod_vjud.lua @ 5505:efe9e741f222

age author description
2022-03-19 Matthew Wild mod_vjud: Add permission parameter "any" for compatibility with 0.12 (fixes #1720)