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

Reply via email to