Merge branch 'master' of github.com:pioardi/poolifier into sync-version
authorJérôme Benoit <jerome.benoit@sap.com>
Mon, 8 Feb 2021 19:40:21 +0000 (20:40 +0100)
committerJérôme Benoit <jerome.benoit@sap.com>
Mon, 8 Feb 2021 19:40:21 +0000 (20:40 +0100)

Trivial merge