Withdrawn: 8324893: Rename JVMDITools.h

[Kim Barrett]

On Tue, 30 Jan 2024 18:34:48 GMT, Kim Barrett <kbarrett at openjdk.org> wrote:

> 8324893: Rename JVMDITools.h
> 
> Please review this trivial change that renames the file
> test/hotspot/jtreg/vmTestbase/nsk/share/JVMDITools.h to JVMDITools.hpp.  There
> are no uses of NULL in this file to be fixed.
> 
> Testing: mach5 tier1

This pull request has been closed without being integrated.

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

PR: https://git.openjdk.org/jdk/pull/17636