On Fri, Aug 12, 2011 at 09:50, Richard Guenther <rguent...@suse.de> wrote:

> Oh, how even more confusing ;)  So maybe hwi and uhwi instead then?
> That's what we use elsewhere.

Sounds good.  Done.


Diego.

Reply via email to