previousVersion should be an Option so we can easily disable MiMa with None#590
Merged
mkurz merged 1 commit intoplayframework:mainfrom mkurz:previousVersion_OptionNov 1, 2023
+2-2
