Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Roll back PR #1027 #1140

Merged
merged 3 commits into from
Oct 2, 2023
Merged

Roll back PR #1027 #1140

merged 3 commits into from
Oct 2, 2023

Conversation

tbhallett
Copy link
Collaborator

No description provided.

@tbhallett tbhallett changed the title ROll back 1027 Roll back PR #1027 Oct 1, 2023
@tbhallett
Copy link
Collaborator Author

@marghe-molaro -- are we happy with this one going in now?

@marghe-molaro
Copy link
Collaborator

@marghe-molaro -- are we happy with this one going in now?

@joehcollins, I think you are better suited to double checking this, as it was your PR that's being rolled back.

I can confirm that the combination of this PR with #1143 appears to solve issue #1102 as we were hoping.

@joehcollins
Copy link
Collaborator

@marghe-molaro @tbhallett yep this looks correct to me!

@tbhallett
Copy link
Collaborator Author

Thanks both. In that case, Please can you Approve this PR.

@tbhallett tbhallett merged commit 4c3303c into master Oct 2, 2023
55 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

3 participants