On Mon 20 Feb 2017 00:02, Sergei Trofimovich <[email protected]> writes:
> * doc/ref/api-data.texi: tweak codepoint notation Applied; thanks! Andy
- bug#25805: [PATCH] tweak 'u+0007' to 'U+0007' (as the r... Sergei Trofimovich
- bug#25805: [PATCH] tweak 'u+0007' to 'U+0007' (as ... Andy Wingo
