Skip to content

Conversation

@skounis
Copy link
Member

@skounis skounis commented Sep 28, 2022

No description provided.

@skounis skounis requested review from GeorgeKonispoliatis and chriteli1 and removed request for GeorgeKonispoliatis September 28, 2022 08:21
@skounis skounis merged commit 36ab6f7 into master Sep 28, 2022
github-actions bot pushed a commit that referenced this pull request Sep 28, 2022
@skounis skounis deleted the skounis-patch-1 branch October 4, 2022 14:09
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