Commit 632f4ed1 authored by Jiří Techet's avatar Jiří Techet

Merge branch 'autotools_remove'

parents b5ffed6a b2e9bcd7
Pipeline #77211 passed with stages
in 6 minutes and 51 seconds