Martin Rulsch wrote:
Thanks for this. DaB. announced his retirement from the Toolserver at
"FRIDAY, 3. January 2014 24:00 MEZ." and I had no idea (precisely when)
that meant. Of course, what it really means is that I need to dump my
Toolserver home directory by the end of 2013. :-/
MZMcBride