Mima updates

odersky · odersky · commit 20fb960e5bc2 · 2022-10-20T13:43:31.000+02:00
diff --git a/project/MiMaFilters.scala b/project/MiMaFilters.scala
@@ -7,5 +7,5 @@ object MiMaFilters {
     ProblemFilters.exclude[MissingClassProblem]("scala.caps"),
     ProblemFilters.exclude[MissingClassProblem]("scala.caps$"),
     ProblemFilters.exclude[MissingClassProblem]("scala.annotation.retains"),
-  )
+    ProblemFilters.exclude[MissingClassProblem]("scala.annotation.retainsUniversal"),
 }

Original file line number	Diff line number	Diff line change
`@@ -7,5 +7,5 @@ object MiMaFilters {`
`7`	`7`	`ProblemFilters.exclude[MissingClassProblem]("scala.caps"),`
`8`	`8`	`ProblemFilters.exclude[MissingClassProblem]("scala.caps$"),`
`9`	`9`	`ProblemFilters.exclude[MissingClassProblem]("scala.annotation.retains"),`
`10`		`- )`
	`10`	`+ ProblemFilters.exclude[MissingClassProblem]("scala.annotation.retainsUniversal"),`
`11`	`11`	`}`