Merge branch 'hotfix/pin' into develop

This commit is contained in:
Salvatore Giordano
2021-05-21 15:34:47 +02:00