diff options
| author |  jesopo | 2020-02-19 11:14:56 +0000 |
|---|---|---|
| committer | jesopo | 2020-02-19 11:14:56 +0000 |
| commit | df7928877058166e75e2ede8c3e633cafd478525 (patch) | |
| tree | 3286417355c6884a814aaa0b951a1510f6c62816 /src/Timers.py | |
| parent | simplify pruning quit/parted users (diff) | |
| signature | ||
channels should be cleared of users when *we* part them
Diffstat (limited to 'src/Timers.py')
0 files changed, 0 insertions, 0 deletions