Closed adamnemecek closed 6 months ago
I don't think we'll merge this as it seems purely cosmetic and the project currently has no maintainer bandwidth to do so changes. Sorry.
I don't think we'll merge this as it seems purely cosmetic and the project currently has no maintainer bandwidth to do so changes. Sorry.