`date` suddenly tells the time in 12-hour format, regardless of $TZ
(be it empty or 'Europe/<anything>').

Who told it to do that? I certainly didn't.

I had already noticed this before the recent switch to DST.

--
Dario Niedermann -:- finger my email address for PGP key, etc.

Also on the Internet at:            <gopher://darioniedermann.it/>
                                 <https://www.darioniedermann.it/>