Merge pull request #786 from poolifier/worker-info
authorJérôme Benoit <jerome.benoit@sap.com>
Sun, 2 Jul 2023 16:37:06 +0000 (18:37 +0200)
committerGitHub <noreply@github.com>
Sun, 2 Jul 2023 16:37:06 +0000 (18:37 +0200)

Trivial merge