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