| Tue, 12 May 2020 22:21:19 +0200 | Wuzzy | Add many people to the hat credits | file | diff | annotate |
| Tue, 12 May 2020 20:36:23 +0200 | Wuzzy | Fix some typos in hat names in CREDITS | file | diff | annotate |
| Tue, 12 May 2020 19:35:21 +0200 | Wuzzy | Credit chujoii for a couple of more hats | file | diff | annotate |