On Fri, 11 Aug 2023 18:41:35 GMT, Ben Perez <d...@openjdk.org> wrote:
>> Fixing the bug as stated would cause compatibility issues. E.g. the >> `addProvider` function always adds new providers at position 0 and therefore >> would always throw an error. Instead of changing how the function handles >> indices, we instead have left an `@implNote` > > Ben Perez has updated the pull request incrementally with one additional > commit since the last revision: > > Changed wording in spec Minor comment - before integrating, update the PR description to reflect the latest change (it still says we will add an `@implNote`.) ------------- PR Comment: https://git.openjdk.org/jdk/pull/14925#issuecomment-1678061810
