Hi Markus, [...] > Is there an easy way to reproduce this issue within a cowbuilder > environment, perhaps a step-by-step guide to use your cbmc package? I > just want to make sure that the patch actually works before I forward it > upstream. >
I did give a brief guide here: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=747585#15 But please do not hesitate to send the patch to myself, I'll be more than happy to re-run the build with the patch to confirm it fixes the issue. Best, Michael
pgpkVWe5C1QFX.pgp
Description: PGP signature
