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.
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.