On Friday, 2 October 2015 at 11:54:31 UTC, Atila Neves wrote: > That's what I was hoping for. Good, unless anybody has comments > to make on the current state of the PR, I'll leave everything > as it is now. Fine with me :)