New fetch-crl version 3.0.13 available

Hi all,

there is new fetch-crl version 3.0.13 available and the old 3.0.12 is not anymore on the server, which is causing errors when trying to install fetch-crl. 

curl: (22) The requested URL returned error: 404 Not Found
Error: Failed to download resource "fetch-crl"
Download failed: https://dist.eugridpma.info/distribution/util/fetch-crl3/fetch-crl-3.0.12.tar.gz

Thanks,
Manuel