chiark / gitweb /
svc/connect.in (Pinger.kill): Don't assume the peer exists.
[tripe] / .skelrc
2018-06-14 Mark WoodingUpgrade licence to GPLv3+.
2001-02-03 mdwInitial checkin.