Double-posts 2000-10-24 19:39:47+02 by ebwolf 0 comments I think something needs to be done to avoid double-posting. I've run into the problem before. This time, I'm not even sure how the second post occurred.