diff mod_vjud/mod_vjud.lua @ 4419:1185acb2ab91

mod_groups_internal: handle empty groups correctly Otherwise, this causes a traceback when syncing the group.
author Jonas Schäfer <jonas@wielicki.name>
date Sun, 31 Jan 2021 16:09:14 +0100
parents a90c7d7e7413
children 5dffb85e62c4
line wrap: on
line diff