sorry, not mine. Bill's patch which I wanted to merge.

On 08/12/16 15:18, Mike Holmes wrote:
Anders confirmed he saw the same thing and it appears that make check
does not get informed that it failed.


my yesterdays patch ;)

Reply via email to