Mima updates

odersky · odersky · commit f9c9a0397369 · 2022-10-20T14:17:56.000+02:00
diff --git a/project/MiMaFilters.scala b/project/MiMaFilters.scala
@@ -7,5 +7,6 @@ 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,6 @@ 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`	`+ ProblemFilters.exclude[MissingClassProblem]("scala.annotation.retainsUniversal"),`
`10`	`11`	`)`
`11`	`12`	`}`