Integrated: 8306436: Rename PSS*:_n_workers to PSS*:_num_workers

[Thomas Schatzl]

On Wed, 19 Apr 2023 10:45:13 GMT, Thomas Schatzl <tschatzl at openjdk.org> wrote:

> Hi all,
> 
>   please review this rename of the `_n_workers` member to `_num_workers` since the latter uses the more common prefix for amounts of things.
> 
> Testing: gha
> 
> Thanks,
>   Thomas

This pull request has now been integrated.

Changeset: 9cd5741c
Author:    Thomas Schatzl <tschatzl at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/9cd5741c14358d6e9ffc97d63ba2d2adebf73ca2
Stats:     19 lines in 2 files changed: 2 ins; 0 del; 17 mod

8306436: Rename PSS*:_n_workers to PSS*:_num_workers

Reviewed-by: ayang, iwalulya

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

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