Closed zacchiro closed 1 year ago
This is a bit silly, but GitHub does not seem to recognize the "LICENSE." filename pattern, whereas it does recognize the "LICENSE-" one. We have verified this in the vigna/sux-rs repo. With this change we migrate to the recognized pattern.
No-op change otherwise.
(it worked!)
This is a bit silly, but GitHub does not seem to recognize the "LICENSE." filename pattern, whereas it does recognize the "LICENSE-" one. We have verified this in the vigna/sux-rs repo. With this change we migrate to the recognized pattern.
No-op change otherwise.