view .hgtags @ 4910:5dffb85e62c4

mod_vjud: Add permission parameter "any" for compatibility with 0.12 (fixes #1720)
author Matthew Wild <mwild1@gmail.com>
date Sat, 19 Mar 2022 17:52:33 +0000
parents 9fa588babbba
children
line wrap: on
line source

2c07bcf56a36d6e74dc0f5422e89bd61f4d31239 0.8-diverge
1656d4fd71d07aa3a52da89d4daf7723a555e7dd last-google-code-commit