On Wed, 23 Aug 2023 15:57:51 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 added this behavior to the function spec. > > Ben Perez has updated the pull request incrementally with one additional > commit since the last revision: > > Added bugid to ChangeProviders Marked as reviewed by mullan (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/14925#pullrequestreview-1591980412
