I don’t know if anyone noticed, but stdlib now exceeded the 1000 mark when it comes the number of GitHub issues (terrible name by the way) opened by the users !
9 Likes
I feel that’s the number of issues + PRs… since some missing issue numbers seem to be taken up by the PRs and vice-versa
2 Likes