David Kastrup <d...@gnu.org> writes: > Valentin Villenave <valen...@villenave.net> writes: > >> On 4/3/20, David Kastrup <d...@gnu.org> wrote: >>> Anybody have an idea whose Patchy pushed the following: >>> commit f5f907599ce88d3d610483fa42fa78be12f53d2e >> >> Uh, I did push it onto staging after the usual review process. Could >> that really be what broke some stuff? It’s a fairly simple >> documentation edit… >> >> (Unlike my latest patches, that do make some regtest changes, but none >> of these have reached staging yet.) > > Patchy was fine with it, preliminary in-tree tests as well. So it can > be any of several more recent commits. I am doing out-of-tree tests now > which is what James usually does.
Huh. Also works fine. Running out of options. James, can you say what baseline you used against the failing make check? -- David Kastrup
