Nicolò Balzarotti writes: > Closing as another patch has been merged in 51ac5ce4b509fac151e646deaff41a527270a74f. Whoops, sorry for the duplicate work. Don't be afraid to ping the bug tracker when patches go stale like in this case.