On 13 Sep 2011, Glenn Morris wrote:

>
> This is http://debbugs.gnu.org/cgi/bugreport.cgi?bug=9030

Hmm should have checked the bugs beforehand, sorry.

Thanks for applying!

Michael