Re: [pdf-devel] [patch] Another round of fixes for the architecture manual

[jemarch]

   Please review and apply.

Applied.

--
Jose E. Marchesi  <jema...@gnu.org>
                  http://www.jemarch.net
GNU Project       http://www.gnu.org