I use Thunderbird 128.5.2 on Linux. I have set it to use my regional settings (i.e., locale). That meant, because I have set LC_TIME="nl_NL.UTF-8", that time was in 24-hour format (in the date column of the message list and in the message header). Recently, it switched to a 12-hour a.m./p.m. format (e.g., 07-01-2025 1:47 p.m. instead of something with 13:47). How do I get it to use a 24-hour format again?

I do not want to fiddle with datetime formatting settings. I just want my locale settings to be used. If it turns out locale settings have changed, I need to fix those. (I do not think so, on the command line, the date command returns do 9 jan 2025 19:33:33 CET, something in 24-hour format.)