Skip to content

GitHub Org name#210

Merged
Federico-PizarroBejarano merged 1 commit intomainfrom
fix/labname
Apr 29, 2026
Merged

GitHub Org name#210
Federico-PizarroBejarano merged 1 commit intomainfrom
fix/labname

Conversation

@JacopoPan
Copy link
Copy Markdown
Member

Purely aesthetic fix.

@Federico-PizarroBejarano
Copy link
Copy Markdown
Collaborator

LGTM

@Federico-PizarroBejarano Federico-PizarroBejarano merged commit 6b5391d into main Apr 29, 2026
1 check passed
@Federico-PizarroBejarano Federico-PizarroBejarano deleted the fix/labname branch April 29, 2026 14:25
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