Commit d055f9f0 authored by Francesco Marinucci's avatar Francesco Marinucci

docker: keep original bin names, as asked in #106

parent e8e56779
Pipeline #2337 passed with stages
in 10 minutes and 6 seconds