Avoid an error when trying to sanitize Ratonhnhaké꞉ton #13159
Merged
Mergify / Rule: automatic merge for master when CI passes and trusted comitter (queue)
succeeded
Sep 27, 2024 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at 55bbe20
Loading