Hi, sorry for my late answer.
Ihor Radchenko <yanta...@gmail.com> writes: > I am not yet merging the patch until Bastien confirms that the patch can > be marked TINYCHANGE and does not require copyright assignment (see > https://orgmode.org/worg/org-contribute.html#copyright). Otherwise, the > patch looks good. Yes, if the patch only replaces "headline" with "heading" in the doc or the code, this can be merged, as it is a trivial change, not even one that could be copyrighted in general. Thanks, -- Bastien