Merge pull request #3304 from dbnicholson/pages-redux
authorColin Walters <walters@verbum.org>
Sun, 15 Sep 2024 17:01:19 +0000 (13:01 -0400)
committerGitHub <noreply@github.com>
Sun, 15 Sep 2024 17:01:19 +0000 (13:01 -0400)
Redo pages workflow


Trivial merge