Richard Henderson Tue, 10 Sep 2013 09:18:30 -0700
On 09/10/2013 05:57 AM, Kirill Yukhin wrote: > Do you still think we need "*"?
No, I suppose that's fine. r~