Den 19.09.12 01:39, skrev Dirk Hohndel: > Also, I tried to reproduce this with the latest top of git and failed. > > Can you check again - maybe one of Lubomir's or my patches has fixed > this in the meantime. I'm unable to reproduce this with the lastest master. H