Merge branch 'HEAD' of dwarfgit@dwarfstd.org:dwarf-doc.git
authorRon Brender <ron.brender@gmail.com>
Mon, 16 Jan 2017 15:55:25 +0000 (10:55 -0500)
committerRon Brender <ron.brender@gmail.com>
Mon, 16 Jan 2017 15:55:25 +0000 (10:55 -0500)

Trivial merge