improvement: Release interfaces with Java 8 compatibility

scalameta / mdoc

Typechecked markdown documentation for Scala

https://scalameta.org/mdoc/

Apache License 2.0

394 stars 81 forks source link

improvement: Release interfaces with Java 8 compatibility #819

Closed tgodzik closed 10 months ago

tgodzik commented 10 months ago

This allows us to use the newest version of mdoc in Metals, but we can still fall back to an older version behind the interfaces that supports an older java version

Needed for https://github.com/scalameta/metals/pull/5823

tgodzik commented 10 months ago

I will go ahead and fix that, since it's only used in Metals I think.