Commit 08b71bd0 authored Dec 02, 2018 by Michele Carignani

Merge branch 'bug-85' into 'master'

Correction of bug 85

See merge request !1