Restore removed "Notes" heading

This commit is contained in:
Tony Garnock-Jones 2019-07-14 14:09:19 -04:00
parent f08e223cb0
commit a9bed81556
1 changed files with 3 additions and 0 deletions

View File

@ -1454,3 +1454,6 @@ link escape"; it is not a printable ASCII character, and is disallowed
in the textual Preserves grammar; and it is also mnemonic for "version
0", since it is the Preserves binary encoding of the small integer
zero.))
<!-- Heading to visually offset the footnotes from the main document: -->
## Notes