Merge branch 'master' of github.com:poolifier/poolifier
authorJérôme Benoit <jerome.benoit@sap.com>
Tue, 8 Nov 2022 22:23:40 +0000 (23:23 +0100)
committerJérôme Benoit <jerome.benoit@sap.com>
Tue, 8 Nov 2022 22:23:40 +0000 (23:23 +0100)
Signed-off-by: Jérôme Benoit <jerome.benoit@sap.com>

Trivial merge