Skip to content

0.76.0#5423

Merged
alexr00 merged 1 commit intomainfrom
alexr00/0.76.0
Nov 1, 2023
Merged

0.76.0#5423
alexr00 merged 1 commit intomainfrom
alexr00/0.76.0

Conversation

@alexr00
Copy link
Copy Markdown
Member

@alexr00 alexr00 commented Nov 1, 2023

No description provided.

@alexr00 alexr00 enabled auto-merge (squash) November 1, 2023 13:04
@alexr00 alexr00 self-assigned this Nov 1, 2023
@alexr00 alexr00 merged commit 9325405 into main Nov 1, 2023
@alexr00 alexr00 deleted the alexr00/0.76.0 branch November 1, 2023 13:12
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.

2 participants