Randy Bush Wed, 12 Aug 2015 21:06:08 -0700
in irc culture style, you have shotgunned this everywhere. i already have too much work and too many mailing lists to follow. i have ignored irc for some decades and will continue to do so.
randy
