Closed maxgio92 closed 7 months ago
/cc @FedeDP
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: FedeDP, maxgio92
The full list of commands accepted by this bot can be found here.
The pull request process is described here
Fixes #1424