Dev gabriel - Fix for issue #339 (!610) · Merge requests · Public / server-scripts · GitLab

Merged Gabriel requested to merge dev-gabriel into dev May 25, 2020

Fix to https://gitlab.gridpane.net/gp-public/server-scripts/issues/339