Master is broken with gitlab.pot

Job #180157022 failed for 159c0d36: