Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Huge IBM change by Stefano #133

Merged
merged 1 commit into from
Feb 2, 2023
Merged

Huge IBM change by Stefano #133

merged 1 commit into from
Feb 2, 2023

Conversation

loganoz
Copy link
Owner

@loganoz loganoz commented Feb 2, 2023

No description provided.

@loganoz
Copy link
Owner Author

loganoz commented Feb 2, 2023

I manually collapsed all the changes by Stefano in a single commit. I didn't commit the end of file change, so we can check what files are really changed.

@loganoz
Copy link
Owner Author

loganoz commented Feb 2, 2023

@oscarmarino, @stecolumbus, @Andres-MG forget about the other pull request. I think this is much cleaner and the one that will go to master if you give your ok.

@loganoz loganoz merged commit f01476b into master Feb 2, 2023
@loganoz loganoz deleted the Stefano_single_commit branch February 2, 2023 09:20
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant