(...) Sorry about that. There was never a problem in the first place. It's just that mark must have checked out at exactly the same time that I put that feature in. Which reminds me that I should not put features in while people are using the site (...) (24 years ago, 7-Aug-00, to lugnet.market.buy-sell-trade)
