Merge pull request #3305 from dbnicholson/pages-fixes
authorColin Walters <walters@verbum.org>
Sun, 15 Sep 2024 20:39:38 +0000 (16:39 -0400)
committerGitHub <noreply@github.com>
Sun, 15 Sep 2024 20:39:38 +0000 (16:39 -0400)
workflow/docs: Fix deployments


Trivial merge