<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
On 06/22/2012 01:29 PM, Terry Reedy wrote:
<blockquote cite="mid:js2kj9$om2$1@dough.gmane.org" type="cite">Of
course. And character 32 <space> is also not usable and
perhaps not worth testing.</blockquote>
<br>
Au contraire! I grant you, it's hard to imagine how using it would
be a good idea. But strictly speaking it is *usable*. (And what is
this thread about if not wanton pedantry!)<br>
<br>
Therefore I'm leaving it in. Feel free to go behind my back and fix
it if you feel strongly about this.<br>
<br>
<br>
<i>/arry</i><br>
</body>
</html>