Revision 74fc30f0213ebd06ac3e24dad28e8ebb68ae84c1

Committed on 04/02/2019 9:24 am by Mattia Lambertini <[email protected]> [GitHub Diff]

Removed run_opts variable since it wasn't expanding properly in travis