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