< maan> What kind of plug in is that kotlinlang #announcements

<@U0M1X9MU7>: What kind of plug-in is that?

# announcements

c

cedric

03/30/2016, 1:56 AM

@maan: What kind of plug-in is that?