Skip to content

Conversation

@Giulio2002
Copy link
Contributor

No description provided.

@Giulio2002 Giulio2002 force-pushed the side-forks branch 2 times, most recently from 0423fcd to 4ddfa7d Compare June 23, 2022 00:21
@Giulio2002 Giulio2002 marked this pull request as draft June 23, 2022 10:43
@Giulio2002 Giulio2002 marked this pull request as ready for review June 23, 2022 14:37
@Giulio2002 Giulio2002 requested a review from yperbasis June 23, 2022 14:37
@Giulio2002 Giulio2002 marked this pull request as draft June 23, 2022 14:38
@Giulio2002 Giulio2002 marked this pull request as ready for review June 25, 2022 12:55
@Giulio2002 Giulio2002 self-assigned this Jun 25, 2022
@Giulio2002
Copy link
Contributor Author

how does it look like now? if everything is fine i will resolve the confilcts and merge right after

@Giulio2002 Giulio2002 merged commit 588c2d4 into devel Jun 27, 2022
@Giulio2002 Giulio2002 deleted the side-forks branch June 27, 2022 13:59
@VBulikov VBulikov mentioned this pull request Feb 5, 2025
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.

3 participants