https://kotlinlang.org logo
b

BMG

04/03/2018, 7:16 AM
Very good point. We’ve been thinking of doing that exactly for now.