K 10 svn:author V 5 asami K 8 svn:date V 27 1995-08-26T09:15:13.000000Z K 7 svn:log V 122 Upgraded, 1.2 -> 1.2a. The bug I reported yesterday has been fixed, so the "workaround" patch-ad is no longer necessary. END