Andreas Dangel 139a3f6103 [ci] Fix build in trunk (#2967)
The same problem would have occurred for the release build.
2020-12-12 11:19:23 +01:00
..
2020-11-14 17:41:06 +01:00
2020-11-13 20:34:37 +01:00