Generate explicit IDs for headings.#1641
Merged
tesseralis merged 13 commits intomasterfrom Feb 7, 2019
Commits
Commits on Feb 7, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed