On May 25, 2019 2:52:53 PM GMT+02:00, Thomas Koenig <tkoe...@netcologne.de> wrote: >Hi, > >consider this: There is a bug, confirmed by several people. This occurs >in closed-source, proprietary software, and appears to be due to one >of my commits. > >Despite considerable help from somebody who has access to the source, >and putting in quite a few (volunteer) hours myself, there is no >test case. > >So, what to do? Close the PR as INVALID? This would be our standard >policy, correct?
No, it would be WAITING since we're waiting for a testcase. >FYI, the proprietary, closed-source software is SPEC, the corresponding >PR is 90539, and the friendly helper is Martin Liska. > >Regards > > Thomas
