Richard Sandiford writes:
> OK, thanks. FWIW, this would also have been OK under the
> “obviously correct” rule (but asking is obviously OK too :-))
>
> Richard
Installed as ee7aa7e7b9d
Thanks for having a look and for the info!
Andrea
Andrea Corallo writes:
> Hi all,
>
> this is to fix a typo in a dejaGNU directive introduced with
> with 052204fac58 "vec: don't select partial vectors when
> unnecessary".
>
> Okay for trunk?
OK, thanks. FWIW, this would also have been OK under the
“obviously correct” rule (but asking is obvio
