3 ms·
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.
by lolinder 2y ago
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.