Skip to content

Conversation

@christian-schilling
Copy link
Member

No description provided.

@christian-schilling christian-schilling force-pushed the @changes/master/christian.schilling.de@gmail.com/rm-dead-redirect branch from 36aff2e to ab022bd Compare November 16, 2025 12:21
@christian-schilling christian-schilling force-pushed the @changes/master/christian.schilling.de@gmail.com/rm-dead-redirect branch 4 times, most recently from 09a72df to 6033938 Compare November 17, 2025 07:24
This is dead code since the case is already handled before.
@christian-schilling christian-schilling force-pushed the @changes/master/christian.schilling.de@gmail.com/rm-dead-redirect branch from 6033938 to a93df97 Compare November 17, 2025 08:00
@christian-schilling christian-schilling marked this pull request as ready for review November 17, 2025 08:02
@christian-schilling christian-schilling added this pull request to the merge queue Nov 17, 2025
Merged via the queue into master with commit 057bca3 Nov 17, 2025
1 check passed
@christian-schilling christian-schilling deleted the @changes/master/christian.schilling.de@gmail.com/rm-dead-redirect branch November 17, 2025 08:13
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