Integrated: Extent local rename

Fri Apr 22 13:39:35 UTC 2022

On Fri, 22 Apr 2022 13:18:36 GMT, Andrew Haley <aph at openjdk.org> wrote:

> The Grand Renaming.

This pull request has now been integrated.

Changeset: 7c73bbf2
Author:    Andrew Haley <aph at openjdk.org>
URL:       https://git.openjdk.java.net/loom/commit/7c73bbf25f23917248baa745de47c956535c29ca
Stats:     3936 lines in 52 files changed: 1884 ins; 1884 del; 168 mod

Extent local rename

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

PR: https://git.openjdk.java.net/loom/pull/162