mirror of
https://git.mirrors.martin98.com/https://github.com/Ultimaker/Cura
synced 2025-06-29 17:55:15 +08:00

Make it slightly more robust, since there have been problems with this in the past aparently (see github.com/ations/runner/1722). Manual rewrite of earlier pull-request Cura/pull/13497 Co-authored-by: 0r31 <orel@dagoma.fr>