> Could you please turn this into a PR on > https://github.com/rakudo/rakudo ? That would make it easier for more > people to look at and much easier to merge.
Ah, at least it made me to learn git a bit. https://github.com/rakudo/rakudo/pull/826 Thank you -- Vlad