Bram
Bram
Some feedback on the change of the warning message is still welcome/needed.. That is: is the change acceptable? Or is it a bad idea and should the old message be...
> The proposed new messages do seem awkward, as they contain redundant words. If you're "falling back" from some (presumably intended) locale to another locale, that second locale is a...
I've updated the output so it behaves exactly the same as before; So there should be no visible change from these commits.
> I'll push whenever you've decided there's been a long enough time for suggested names, and change the first commit's message to not have the XXX Done
Issue #8848 looks unrelated, I think it was typo'ed and that it should've been: #8846