Now that JDK 13 is GA, is it planned for `jvmTarge...

# build-tools

[jmmk]

Now that JDK 13 is GA, is it planned for jvmTarget setting in the build plugins to support 13?

[jmmk]

Reading through old comments and release notes (on previous version releases e.g. JDK 11 and 12), it seems that even if this is added, it won't provide any advantage at the moment

[udalov]

Reported as https://youtrack.jetbrains.com/issue/KT-34119