Commit d0d7d46e authored by Marco Antoniotti's avatar Marco Antoniotti 💬
Browse files

Minor fix.

parent 532ab373
Pipeline #5840 passed with stage
in 2 seconds