On 2018-08-07 10:05 AM, Richard Earnshaw (lists) wrote:
Thanks. Wrong PR, though: that was for the SPU port. The hppa PR is 86785.
Oops, sorry for extra work.
Dave -- John David Anglin dave.ang...@bell.net
On 2018-08-07 10:05 AM, Richard Earnshaw (lists) wrote:
Thanks. Wrong PR, though: that was for the SPU port. The hppa PR is 86785.
Oops, sorry for extra work.
Dave -- John David Anglin dave.ang...@bell.net