Merge branch 'HEAD' of dwarfgit@dwarfstd.org:dwarf-doc.git
authorRon Brender <ron.brender@gmail.com>
Sun, 15 Jun 2014 19:46:05 +0000 (15:46 -0400)
committerRon Brender <ron.brender@gmail.com>
Sun, 15 Jun 2014 19:46:05 +0000 (15:46 -0400)

Trivial merge