bug#25805: [PATCH] tweak 'u+0007' to 'U+0007' (as the rest of the table)
On Mon 20 Feb 2017 00:02, Sergei Trofimovich writes: > * doc/ref/api-data.texi: tweak codepoint notation Applied; thanks! Andy
bug#25805: [PATCH] tweak 'u+0007' to 'U+0007' (as the rest of the table)
* doc/ref/api-data.texi: tweak codepoint notation Signed-off-by: Sergei Trofimovich --- doc/ref/api-data.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/ref/api-data.texi b/doc/ref/api-data.texi index 1b3170e4f..9d677371e 100644 --- a/doc/ref/api-data.texi +++ b/doc/