comparison mod_extdisco/mod_extdisco.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 e5c16c87383c
children e302537a0e4e
comparison
equal deleted inserted replaced
3102:f04dbfad5407 3103:5bf79bb3cf7e