On 09/02/2011 01:16 PM, Karanbir Singh wrote: > On 09/02/2011 01:05 AM, R P Herrold wrote: >> .... perhaps DEVEL, or better to an autoresponder, telling >> the poster to file a bug with a reproducer > > Sounds like a good idea to me. Changed to -devel. Regards, Ralph