Speaking of that, I wished that Jetbains gives the...

# dokka

[robstoll]

Speaking of that, I wished that Jetbains gives the community more rights in this regard. Many community members report bugs, fix them, make pull requests etc but eventually nothing is merged. Why not take one or two community members on board? Give them commit rights and I am sure things will fly