Commit a5711e2b authored by Thomas Brand's avatar Thomas Brand

Minor.

parent e3786510
Pipeline #38952 failed with stage
in 60 minutes