# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1647712353 0
# Node ID 5dffb85e62c491564232a9cb070bd62b49a33e5a
# Parent  6ce42aacad42c226d38b134cb4d0cfc587a337da
mod_vjud: Add permission parameter "any" for compatibility with 0.12 (fixes #1720)

diff -r 6ce42aacad42 -r 5dffb85e62c4 mod_vjud/mod_vjud.lua
--- a/mod_vjud/mod_vjud.lua	Sat Mar 19 09:10:25 2022 +0000
+++ b/mod_vjud/mod_vjud.lua	Sat Mar 19 17:52:33 2022 +0000
@@ -184,7 +184,7 @@
 	end
 
 	local adhoc_new = module:require "adhoc".new;
-	local adhoc_vjudsetup = adhoc_new("Search settings", "vjudsetup", opt_in_handler);--, "self");-- and nil);
+	local adhoc_vjudsetup = adhoc_new("Search settings", "vjudsetup", opt_in_handler, "any");--, "self");-- and nil);
 	module:depends"adhoc";
 	module:provides("adhoc", adhoc_vjudsetup);