Merge pull request #2655 from nikita-dubrovskii/sdboot_rename
authorJonathan Lebon <jonathan@jlebon.com>
Fri, 24 Jun 2022 16:49:50 +0000 (12:49 -0400)
committerGitHub <noreply@github.com>
Fri, 24 Jun 2022 16:49:50 +0000 (12:49 -0400)

Trivial merge