Patrick Walton got the bugfix via email for reviewing.
Fixed in changeset 9bac0d5b2210, which is actually written by Julian, despite the commit history. My apologies, and thanks for the patch!
Status: ASSIGNED → RESOLVED
Last Resolved: 8 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.