Subject: not a bug

From: Jim Meyering <[email-masked]>
Date: Thu, 16 Jun 2011 14:18:31 +0200

tags 8871 + notabug
close 8871
thanks

As you've probably gathered, this is not a bug.
This message marks the "issue" as such and closes it.