mirror of
https://git.mirrors.martin98.com/https://github.com/Ultimaker/Cura
synced 2025-04-24 06:39:38 +08:00

Otherwise it should theoretically default to int, which is wrong. However with some graphics drivers it just seems to result in a failure to compile and concluding with a crash and crescendo. Fixes #9692.