https://kotlinlang.org logo
d

Derk-Jan Karrenbeld

11/02/2018, 12:57 AM
If you make the change you suggested here: https://kotlinlang.slack.com/archives/C0B8GAGR0/p1541118080169700, everything will work and you're done.