Le 19/10/2022 à 22:47, Jean Abou Samra a écrit :
This code is behaving as expected. The manual's description of the exampleand the naming "*compilation-date*" look buggy, however.
I've submitted a patch to fix this. https://debbugs.gnu.org/cgi/bugreport.cgi?bug=58646 Best, Jean