PRs used to be overlooked ;) So I hope if anyone knows the hidden reason, he will say it here ;) Borys On czwartek, 30 listopada 2017 12:10:30 CET Matthias Kuhn wrote: > Hi Borys, > > I think it's safe to directly open a pull request for this change ;) > > Matthias