Closed rauhryan closed 7 years ago
What do you think of the PR icon beside the title?
What do you think of the PR icon beside the title?
I like the idea, but we should move that to a new issue
Opened #375 for further discussion of moving the type icons around
closes #370 closes #371 closes #372 closes #332