if you're setting

[scala-platform] version

, you might still have gotten a patch-level scala version bump.