Mark Crispin Sat, 02 Nov 2002 09:40:53 -0800
That "/" is a typo. I will try to get it fixed before the RFC comes out.