Skip to content

add my name#456

Merged
raux merged 7 commits intoNAIST-SE:masterfrom
Brafuma:master
Jun 17, 2023
Merged

add my name#456
raux merged 7 commits intoNAIST-SE:masterfrom
Brafuma:master

Conversation

@Brafuma
Copy link
Copy Markdown
Contributor

@Brafuma Brafuma commented Jun 15, 2023

Please marge

@Brafuma
Copy link
Copy Markdown
Contributor Author

Brafuma commented Jun 15, 2023

My earlier request was a mistake.
Please merge this one.

@raux raux enabled auto-merge June 17, 2023 10:19
@raux raux merged commit 46ed01a into NAIST-SE:master Jun 17, 2023
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