This has already been fixed in head. Just putting it here in case someone finds the same problem.

Comments

Anonymous’s picture

Anonymous (not verified) commented
Status: Fixed » Closed (fixed)

Automatically closed -- issue fixed for two weeks with no activity.