Hi Johannes, Johannes Schindelin <Johannes.Schindelin <at> gmx.de> writes: > > Hi Yannis, > > [...] > > I just re-uploaded new packages, after rebuilding them and making sure > that the patch was actually applied. > > May I ask you to re-test, just to make extra sure that the bug in question > is fixed? I confirm the latest version, built from the 'source files (zip)' package, has resolved the issue. Thanks for the prompt response! Next task is to get the patch through to the next subversion official release. > > Ciao, > Johannes > -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html