I have been getting double posts from a few different people.  I was
wondering if the board owner could check his settings.  This has
happened once before but stopped for a while.