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

[Andy Wingo]

On Mon 20 Feb 2017 00:02, Sergei Trofimovich <sly...@gentoo.org> writes:

> * doc/ref/api-data.texi: tweak codepoint notation

Applied; thanks!

Andy