Merge branch 'HEAD' of dwarfgit@dwarfstd.org:dwarf-doc.git
authorRon Brender <ron.brender@gmail.com>
Mon, 13 Feb 2017 11:34:48 +0000 (06:34 -0500)
committerRon Brender <ron.brender@gmail.com>
Mon, 13 Feb 2017 11:34:48 +0000 (06:34 -0500)

Trivial merge