GitHub Issue Comments

A userscript that toggles issues/pull request comments & messages

Versione datata 01/07/2023. Vedi la nuova versione l'ultima versione.