Merge pull request #1128 from ematipico/chore/use-biome
authorJérôme Benoit <jerome.benoit@sap.com>
Fri, 8 Sep 2023 13:36:09 +0000 (15:36 +0200)
committerGitHub <noreply@github.com>
Fri, 8 Sep 2023 13:36:09 +0000 (15:36 +0200)

Trivial merge