https://kotlinlang.org logo
a

arekolek

05/12/2020, 1:57 PM
from the PR I linked, looks like they just removed it
👍 1