Skip to content

Major - #1763

Merged
bsteubing merged 10 commits into
betafrom
major
Oct 12, 2026
Merged

Major#1763
bsteubing merged 10 commits into
betafrom
major

Conversation

@bsteubing

@bsteubing bsteubing commented Oct 12, 2026 •

Copy link
Copy Markdown
Member

Checklist

If you have write access (otherwise a maintainer will do this for you):

  • Categorize the PR by setting a good title and adding one of the labels:
    bug, feature, ui, change, documentation, breaking, ci
    as they show up in the changelog.
  • Add a milestone to the PR (and related issues, if any) for the intended release.
  • Request a review from another developer.

@bsteubing bsteubing added the dependencies Adding/removing dependencies or pins label Oct 12, 2026
@bsteubing
bsteubing merged commit 020ee55 into beta Oct 12, 2026
41 checks passed

This branch was successfully deployed

1 active deployment
github-pages — 890bdbc7 Deployed Oct 12, 2026 by bsteubing via deploy #120
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Adding/removing dependencies or pins

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant