Commit f660616f authored by Lars Ingebrigtsen's avatar Lars Ingebrigtsen

Compilation fix for previous change

parent bb5641d3
Pipeline #2030 failed with stage
in 85 minutes and 14 seconds