Revision b7ee80264a169c94b3efa9887cf312438952ab56

Committed on 09/10/2022 2:33 pm by gggeek <ggiunta@kaliop.com> [GitHub Diff]

whitespace