Merge pull request #1072 from prometheus/superq/update_build
authorBen Kochie <superq@gmail.com>
Mon, 15 May 2023 15:40:41 +0000 (17:40 +0200)
committerGitHub <noreply@github.com>
Mon, 15 May 2023 15:40:41 +0000 (17:40 +0200)
Update build


Trivial merge