Skip to content

Conversation

@noferini
Copy link

@noferini noferini commented Jul 7, 2021

No description provided.

@noferini
Copy link
Author

noferini commented Jul 7, 2021

I am still verifying the compilation.

@nburmaso
Copy link
Owner

nburmaso commented Jul 7, 2021

@noferini, thank you for the PR. Please ping me once you are ready

@noferini
Copy link
Author

noferini commented Jul 7, 2021

Ok, you can merge this PR which will be automatically ported in yours to O2/dev

@nburmaso nburmaso merged commit 09156f1 into nburmaso:aod-updates Jul 7, 2021
@noferini noferini deleted the aod-updates branch September 3, 2021 07:16
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