RFR: 8348401: [IR Framework] PrintTimes should not require verbose [v3]

[Theo Weidmann]

On Mon, 27 Jan 2025 13:34:03 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote:

>> Theo Weidmann has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Add comment
>
> Otherwise, looks good, thanks for fixing this!

@chhagedorn @vnkozlov Thanks for the suggestions. I incorporated them.

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

PR Comment: https://git.openjdk.org/jdk/pull/23267#issuecomment-2615865368