Skip to content

Removed prints#153

Merged
uuqjz merged 1 commit intomainfrom
name_based_uuid
May 15, 2024
Merged

Removed prints#153
uuqjz merged 1 commit intomainfrom
name_based_uuid

Conversation

@uuqjz
Copy link
Collaborator

@uuqjz uuqjz commented May 15, 2024

No description provided.

@uuqjz uuqjz requested a review from Nicolas-Boltz May 15, 2024 09:38
Copy link
Member

@Nicolas-Boltz Nicolas-Boltz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@uuqjz uuqjz merged commit e33a89d into main May 15, 2024
@uuqjz uuqjz deleted the name_based_uuid branch May 15, 2024 09:40
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