Thanks for the change proposal, I'll have a look later. AYANOKOUZI, Ryuunosuke, on Wed 25 May 2016 17:01:29 +0900, wrote: > Is it better to file this bug to BTS?
It's always better to fix bugs as bugs, yes. That allows people to be able to subcribe to it, notably. And since it's Cc-ed to this list, it's really strictly better. Samuel
