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

Due to a merge conflict that Git couldn't detect, these are immediately outdated. Let's update them to 15. Since I knew this would be coming, I didn't change the maximum deviation last time, so now I also don't need to change it back. Contributes to issue CURA-7384.