Is this still up to date or should we rather bump to newer versions?
Now with the repo in a more central place, more people will hopefully take responsability for maintaining it.
I've bumped the fonts to the latest versions.
Oh, I think I can update this hash?
both actually .. 🙈
No due date set.
This pull request currently doesn't have any dependencies.
Deleting a branch is permanent. It CANNOT be undone. Continue?