Subject: tag not a bug

From: Bob Proulx <[email-masked]>
Date: Mon, 1 Oct 2012 14:56:53 -0600

tag 12478 + notabug
thanks

It isn't a bug.  Fine to keep discussing it.  But let's tag it
appropriately and keep the bug accounting updated.

Bob