Ah, sorry for posting a duplicate bug - I searched before, but obviously with the wrong keywords...
I'll create a branch and propose it for merging as suggested. Thanks for your fast reply, Shevanar!
Ah, sorry for posting a duplicate bug - I searched before, but obviously with the wrong keywords...
I'll create a branch and propose it for merging as suggested. Thanks for your fast reply, Shevanar!