On Wed, 12 Apr 2023 23:35:02 GMT, Jiangli Zhou <jian...@openjdk.org> wrote:

> Rename 'jmm_<interface|version>' to 'jmm_<interface|version>_management_ext' 
> in libmanagement_ext to resolve related linker errors when statically linking 
> with both libmanagement and libmanagement_ext.

Thanks for the review and discussion.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/13451#issuecomment-1508978901

Reply via email to