On 2019-10-16 at 12:38 +02, Nicolas Goaziou <m...@nicolasgoaziou.fr> wrote... > Of course, meawhile, do not rely on undefined behaviour :)
Would you accept a documentation patch that defines the current behavior? Then I get what I want, and it is on future developers to not mess it up :). -k.