Skip to content

Dev: Merging open PRs - #84

Draft
lenaherf wants to merge 26 commits into
mainfrom
dev-branch-merge-prs
Draft

Dev: Merging open PRs#84
lenaherf wants to merge 26 commits into
mainfrom
dev-branch-merge-prs

Conversation

@lenaherf

Copy link
Copy Markdown
Contributor

This PR merges the following open PRs:
#70
#73
#82
#83
#80
#76
#62
#63
#66

A few changes/adjustments were made to the original PRs.

Armin Mansouri and others added 25 commits May 28, 2026 11:42
…mp around. Instead center only the contents a bit more.
@lucaboesch

Copy link
Copy Markdown
Contributor

Note I've reworked #82. Turned out also students need the width unrestricted booking page (otherwise the "book slot" button is in a scrolling hidden area).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants