On Wed, 11 Oct 2017 13:22:50 -0700, alex.jakime...@gmail.com wrote: > Oh, and if rakudo/issues is opened, then for me all issues raised in this > ticket will be resolved.
It was opened awhile ago. …and based on the recent usage, seems GitHub's ticket tracker is preferred by users, so as far as this ticket goes, I think it can be closed.
