Nicolas Goaziou <m...@nicolasgoaziou.fr> writes: > Again, I do not observe this behaviour. Could you make sure you are > using latest Org?
Strangely enough I indeed cannot reproduce the problem anymore with latest master. Sorry for the e-noise. (I think my confusion might have been caused by "make vanilla" still seeing the installed org version? After "make compile" and then "make vanilla" the bug is gone.) Thanks! Andreas
