Diff

mod_vjud/mod_vjud.lua @ 4707:27f7ed9f50cd

mod_groups_internal: Remove deleted user from groups
author Kim Alvefur <zash@zash.se>
date Tue, 12 Oct 2021 13:57:24 +0200
parent 2179:a90c7d7e7413
child 4910:5dffb85e62c4
line wrap: on
line diff