Skip to content

Remove workaround for MiMa issue#406

Merged
Philippus merged 1 commit intoscala:2.xfrom
Philippus:remove-mima-workaround
Jun 25, 2021
Merged

Remove workaround for MiMa issue#406
Philippus merged 1 commit intoscala:2.xfrom
Philippus:remove-mima-workaround

Commits

Commits on Jun 25, 2021