https://kotlinlang.org logo
l

LeoColman

03/05/2019, 8:30 PM
But we don't really mind if you just put up a PR with an explanation of the issue and the fix