Julian Foad wrote on Mon, 26 Aug 2019 15:05 +00:00: > Daniel Shahaf wrote: > > Is this something temporary while you work on this, or meant to remain in > > the code longer-term? > > > > (If the former, ignore the rest of this email.) > > I already changed it to a regular XFail, in r1865935.
My bad. I did read commits@ to the end but overlooked that hunk. Sorry for the noise.
