Skip to content

Conversation

@cleptric
Copy link
Member

Accidentally removed this in #994

@cleptric cleptric self-assigned this May 13, 2025
@cleptric cleptric added the Bug label May 13, 2025
@cleptric cleptric requested a review from stayallive May 13, 2025 11:05
@cleptric cleptric marked this pull request as ready for review May 13, 2025 11:05
@stayallive
Copy link
Collaborator

Whoops, good catch @mfb!

@cleptric cleptric merged commit d171848 into master May 13, 2025
33 checks passed
@cleptric cleptric deleted the fix-queue-propagation branch May 13, 2025 11:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants