<@U0B99LPPW>: Did you delete that repo with the pr...

# anko

[eddie]

@yan: Did you delete that repo with the prototype kotlin plugin that modified final attributes on Kotlin classes? I can’t seem to find it anymore.