Skip to content

v34#77

Merged
aserto-bot merged 1 commit intomainfrom
v34
Mar 27, 2026
Merged

v34#77
aserto-bot merged 1 commit intomainfrom
v34

Conversation

@gertd
Copy link
Copy Markdown
Member

@gertd gertd commented Mar 27, 2026

No description provided.

@aserto-bot aserto-bot merged commit 4fafe6e into main Mar 27, 2026
3 checks passed
@aserto-bot aserto-bot deleted the v34 branch March 27, 2026 12:44
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