Hello,

I send a PR almost two days ago without receiving any confirmation. Is
gnats down, did I make a typo that confused gnats? Should I try to
resend it? I made a typo in the patch shipped with the PR, so I need
to resend it anyway but don't want to create confusing duplicates...

Feico.