Withdrawn: json patches introduced to the OpenJDK copy in JDK-8246435

Thu Aug 6 09:22:32 UTC 2020

On Wed, 3 Jun 2020 12:16:36 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

> This PR contains the proposed changes to the json system made in JDK-8246435. If the same changes are made in Skara,
> tthe two code bases are kept from diverging.

This pull request has been closed without being integrated.

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

PR: https://git.openjdk.java.net/skara/pull/636