chiark / gitweb /
configure: add linux-hotplug mail address