[jdk17u-dev] Integrated: 8283999: Update JMH devkit to 1.35

Tue Nov 22 10:05:46 UTC 2022

On Mon, 21 Nov 2022 15:28:50 GMT, Aleksey Shipilev <shade at openjdk.org> wrote:

> Clean backport to improve testing.
> 
> Additional testing:
>  - [x] JMH devkit creation still works

This pull request has now been integrated.

Changeset: 51253206
Author:    Aleksey Shipilev <shade at openjdk.org>
URL:       https://git.openjdk.org/jdk17u-dev/commit/512532067efd1c96d5d0eea3d38503482e9a99ce
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

8283999: Update JMH devkit to 1.35

Backport-of: a3223cb6839dbed2476c928572d89dad84dc4636

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

PR: https://git.openjdk.org/jdk17u-dev/pull/912