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

[v6.2] Backport #10707, #13946 #14929

Closed
wants to merge 2 commits into from

Conversation

justinas
Copy link
Contributor

@justinas justinas commented Jul 27, 2022

@justinas justinas marked this pull request as ready for review July 27, 2022 19:15
@justinas justinas enabled auto-merge (squash) July 27, 2022 19:45
@zmb3
Copy link
Collaborator

zmb3 commented Sep 7, 2022

@justinas do we still want to merge this?

@justinas
Copy link
Contributor Author

justinas commented Sep 8, 2022

@justinas do we still want to merge this?

Ideally, yes, if we are going to have any further 6.2 releases. This got stale because of DocTest failing, I tried to remedy in #14990, but did not get too far with that one and we shifted our focus elsewhere.

@justinas justinas changed the title [v6.2] Backport #10707, #13946) [v6.2] Backport #10707, #13946 Sep 8, 2022
@zmb3 zmb3 closed this Feb 25, 2023
auto-merge was automatically disabled February 25, 2023 15:36

Pull request was closed

@espadolini espadolini deleted the justinas/v6.2/backport-10707-13946 branch February 25, 2023 17:52
@espadolini
Copy link
Contributor

Didn't mean to do that, accidentally tapped the button and I can't undelete it from my phone 😬

@tigrato tigrato restored the justinas/v6.2/backport-10707-13946 branch February 25, 2023 17:55
@zmb3 zmb3 deleted the justinas/v6.2/backport-10707-13946 branch April 26, 2023 22:43
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.

5 participants