any plans to bring in more contributors with the r...

# dokka

[robstoll]

any plans to bring in more contributors with the right to merge things? Dokka is moving so slowly. Way too slowly IMO. I fixed a bug in June and the corresponding pull-request is good to merge but nothing happens.

[semoro]

I apologise for delays, and will definitely merge your PR before release

[sdeleuze]

@semoro Could you please also merge this one? https://github.com/Kotlin/dokka/pull/358