As the current OBS build worker configurations don't appear to trigger the problem there is no hurry.