Commit f8337756 authored Sep 18, 2019 by Michele Carignani

Merge branch 'devop' into 'master'

Devop

See merge request !1