Comment by lolinder

Oh, yes, I pasted the same link twice!

30 PRs that have been open for a very long time untouched. The point is getting stuff merged into Koka is not easy.