this post was submitted on 21 Jun 2023
13 points (100.0% liked)
Mycology
3116 readers
1 users here now
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Creating a pr for it sounds like a sensible plan tbh, file extensions are usually case insensitive afaik