On 9/8/20 6:20 PM, Tobias Burnus wrote:
However, the new version of the patch stops after the first
'dg-error/dg-warning'.

LGTM.

Martin

Reply via email to