On Tue, 1 Aug 2023 10:30:18 GMT, Alan Bateman <al...@openjdk.org> wrote:

> It also opens the door to accidental mix 'n match of modules from different 
> JDK modules. So I don't think this the right change for this issue.

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

PR Comment: https://git.openjdk.org/jdk/pull/15102#issuecomment-1660035694

Reply via email to