Integrated: Rename nullfree to null_free

Wed May 19 09:07:44 UTC 2021

On Wed, 19 May 2021 08:37:19 GMT, David Simms <dsimms at openjdk.org> wrote:

> Renamed nullfree to null_free

This pull request has now been integrated.

Changeset: 68419170
Author:    David Simms <dsimms at openjdk.org>
URL:       https://git.openjdk.java.net/valhalla/commit/684191705df79110da8f5420898e66d046b47b1f
Stats:     46 lines in 12 files changed: 0 ins; 2 del; 44 mod

Rename nullfree to null_free

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

PR: https://git.openjdk.java.net/valhalla/pull/416