< cedric> can you link us to that PR kotlinlang #announcements

<@U0B8ZP13Q>: can you link us to that PR?

# announcements

g

groostav

07/06/2016, 10:41 PM

@cedric: can you link us to that PR?