On Sun, Aug 13, 2017 at 07:15:39PM +0200, Harald Welte wrote:
I'm not quite sure why it happens, and particularly why it only happens in OBS.
In any case, I could fix it locally using https://gerrit.osmocom.org/#/c/3508/ which I just merged and now re-triggered the OBS nightly build (3 hours after its usual time).