Uwe Brauer <o...@mat.ucm.es> writes: > But it still inserts <2020-09-06 Sun>
What's the value of `system-time-locale'? In a shell (like Bash), is there a difference between the following two commands: #+begin_src bash LC_TIME=C date #+end_src #+begin_src bash LC_TIME=de_DE date #+end_src -- Until the next mail..., Stefan.
