comparison mod_vjud/mod_vjud.lua @ 3103:5bf79bb3cf7e

Neuter 0198 from mod_pinger, fix #712
author Georg Lukas <georg@op-co.de>
date Wed, 06 Jun 2018 19:20:10 +0200
parents a90c7d7e7413
children 5dffb85e62c4
comparison
equal deleted inserted replaced
3102:f04dbfad5407 3103:5bf79bb3cf7e