2026-07-05 - 2026-07-12
Overview
Excluding merges,
0 authors
have pushed
0 commits
to main and
1 commit
to all branches.
On main,
0 files
have changed
and there have been
0 additions
and
0 deletions.
1 Pull request merged by 1 user
Merged
#339 [I338] tighter layout of page navigation
1 Pull request proposed by 1 user
Proposed
#342 Differenciate article header h1 and body h2 font-size
1 Issue closed from 1 user
Closed
#338 User desires tighter layout of page navigation