Merge branch 'HEAD' of dwarfgit@dwarfstd.org:dwarf-doc.git
authorRon Brender <ron.brender@gmail.com>
Sun, 18 Dec 2016 17:44:19 +0000 (12:44 -0500)
committerRon Brender <ron.brender@gmail.com>
Sun, 18 Dec 2016 17:44:19 +0000 (12:44 -0500)

Trivial merge