9dd9f85
2016-09-26 Andre Vieira <andre.simoesdiasvieira@arm.com> Backport from mainline 2016-02-16 Nick Clifton <nickc@redhat.com> gas/ * doc/as.texinfo (Section): Fix up texinfo snafus in previous update.