Closed johscheuer closed 3 months ago
Fix a bug where the same process group ID could be generated.
Please select one of the options below.
0
Added an additional test case for this. Without the fix the test case failed.
-
N/A
Description
Fix a bug where the same process group ID could be generated.
Type of change
Please select one of the options below.
Discussion
0
Testing
Added an additional test case for this. Without the fix the test case failed.
Documentation
-
Follow-up
-