Commit d792d0ee fixes this issue

thanks @pingou! Are there two commits that fix it because they're on different branches? The commit pages themselves don't mention anything about what branch a commit is on - maybe that's something that needs to be added too? I had to look at the parent, and figure it out :)

Also, do tickets automatically close when a commit that fixes it is merged into master?

Thanks again!

Are there two commits that fix it because they're on different branches?

Same branch but there was a rebase involved :)

Also, do tickets automatically close when a commit that fixes it is merged into master?

Normally yes, otherwise I'll do it myself :)

Awesome. Thanks again!

I've opened another possibly trivial ticket now :P #1073

Please do close this when you think fit. It has been resolved.

Commit 0adca76b fixes this issue