Closed gmacario closed 6 years ago
This change looks quite straightforward to me, however since there is no Jenkins CI up and running (#17) I ask @ludusrusso to review and merge if OK
@ludusrusso Ping!
THX
This change looks quite straightforward to me, however since there is no Jenkins CI up and running (#17) I ask @ludusrusso to review and merge if OK