Re: [Maria-developers] 8c34a242aa2: MDEV-20787: Script dgcov.pl does not work