[code-reflection] Integrated: Update JSON API

Paul Sandoz psandoz at openjdk.org
Wed May 14 22:35:45 UTC 2025


On Wed, 14 May 2025 22:28:55 GMT, Paul Sandoz <psandoz at openjdk.org> wrote:

> Update JSON API

This pull request has now been integrated.

Changeset: 2870cdd5
Author:    Paul Sandoz <psandoz at openjdk.org>
URL:       https://git.openjdk.org/babylon/commit/2870cdd52f1aab1b0565d4caf48dfe82856a0c38
Stats:     3299 lines in 29 files changed: 1613 ins; 1570 del; 116 mod

Update JSON API

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

PR: https://git.openjdk.org/babylon/pull/427


More information about the babylon-dev mailing list