[Debian-med-packaging] Bug#716540: [Mayhem] Bug report on minc-tools: minccopy crashes with exit status 139

[Martin Steghöfer]

Hi!

This is essentially the same issue as the one that Mayhem detected for 
"mincdump" (#716119):
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=716119

This means that it will also be fixed automatically as soon as the 
"netcdf" maintainers pull in the patch I proposed in #757884:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=757884

Cheers,
Martin