Log

mod_pinger/mod_pinger.lua @ 5941:5c4e102e2563 default tip

description author age
mod_pinger: work around updates on stale sessions Georg Lukas Wed, 13 Jun 2018 08:16:45 +0200
Neuter 0198 from mod_pinger, fix #712 Georg Lukas Wed, 06 Jun 2018 19:20:10 +0200