Closed hasecilu closed 2 months ago
I guess I would suggest you just merge this. We can change the way the csv file is processed in a dedicated PR, if at all.
I'm not sure if you wait for me to merge? I already approved ;-) Normally I would not merge a PR of a person who has themselves merge rights.
(Also my comments were so minor that I approved anyhow - for me the PR was already "ok enough" without any change. But I believe with the changes you did later on it got better :+1:)
Useful when updating the font on Nerd Fonts repository.