bug#25805: [PATCH] tweak 'u+0007' to 'U+0007' (as the rest of the table)

2017-04-19 Thread Andy Wingo
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)

2017-02-19 Thread Sergei Trofimovich
* 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/