Revision 18caaeab0eb00d4186eea15b393b1b0b810cbd8e

Committed on 01/11/2018 6:20 am by gggeek <ggiunta@kaliop.com> [GitHub Diff]

fixup for commit d0c8b1a9f996