Update the GPLv3 HELLO to use the ISO-IR-196 escape sequences. etc/ChangeLog addition: 2011-06-28 Aidan Kehoe <kehoea@parhasard.net> * HELLO: No longer encode various Unicode characters in GNU's specific ad-hoc character sets, use ISO-IR-196 sequences instead. tests/ChangeLog addition: 2011-06-28 Aidan Kehoe <kehoea@parhasard.net> * automated/mule-tests.el: Update the charsets-in-region test to reflect the GPLv3 HELLO file.

@c Synced up with: Texinfo 4.13 of September 18 2008.
@c Synced by: Ben Wing, 2-17-10.
@set UPDATED 18 September 2008
@set UPDATED-MONTH September 2008
@set EDITION 4.13
@set VERSION 4.13