Build #7 (Sep 14, 2018 5:30:59 PM)

1. improved readme (to trigger build) (detail)

Started by GitLab push by Michele Carignani

• origin/jenkins