Karl Berry Sat, 29 Jul 2000 07:16:01 -0700
I have two similar entries in different parts of my "dir" file: Thanks for the report.
