On Fri, Apr 22, 2016 at 9:34 AM, Ralf Corsepius <rc040203@freenet.de> wrote:

How about
* filing a BZ against Coin3 such that the Coin3 maintainer (me) gets informed and has a chance to reproduced the issue?