On 26/11/2018 22:08, Mike Stump wrote:
On Nov 16, 2018, at 8:28 AM, Andrew Stubbs <a...@codesourcery.com> wrote:
[This patch was previously approved by Richard Sandiford (with added
documentation I've still not done), but objected to by Mike Stump. I
need to figure out who's right.]
Since the planned port is done and someone isn't actively finishing this part
of it and you'd like to not have to triage these again or otherwise see the
failures, Ok.
Thanks, I'll do the documentation when the main part of the port is
reposted.
Andrew
