Hi Holger, On 03.02.2014 09:13, Holger Hans Peter Freyther wrote: > there is an issue on AMD64. Please have a look. I am not sure where > the difference of one would come from. The build failed on the OBS > but also on the AMD64 machine in the office.
Thanks a lot for looking into and fixing that in cdfc2061bb et al. Jacob
