manager: redo <title> to be "page name | global name" (#73381) #30

Merged
fpeters merged 1 commits from wip/73381-page-title into main 2023-01-13 15:02:52 +01:00

1 Commits

Author SHA1 Message Date
Frédéric Péters 885e4e295c manager: redo <title> to be "page name | global name" (#73381)
gitea-wip/chrono/pipeline/pr-main This commit looks good Details
2023-01-13 11:59:07 +01:00