Re: Bug: "DEFINITION NOT FOUND" for footnote in Org manual

[Timothy]

Maxim Nikulin <manikulin@gmail.com> writes:

> It seems, the footnote was unintentionally lost in the merge commit with a lot
> of conflicts due to renumbering in both branches:
>
> https://code.orgmode.org/bzg/org-mode/commit/9410fbe0606a53b0582cc175b2cc525d556b23fe#diff-6498bd2213e2e527d904942bb214768a1913776L21749

Many thanks for tracking that down! I'm inclined to just add back the
text lost in that merge unless you'd recommend anything else.

--
Timothy