Hi Nicolas, Nicolas Goaziou <n.goaz...@gmail.com> writes:
> How would that new element be named? `headline-property'? `property'? `property' is fine, unless it is semantically too close to other elements and/or objects. > Also, do we want this change in 7.9.3? In that case, it may be wise to > delay its release by a couple of days. Having this for Org 8.0 is okay, lets commit this in master. Thanks! Ps: the next minor release will be 7.9.2. -- Bastien
