Skip to content

Conversation

@ggouaillardet
Copy link
Contributor

This is a one-off commit for the v4 series since
v5 and later moved to prrte.

Thanks Matt Thompson for reporting this issue.

bot:notacherrypick

Signed-off-by: Gilles Gouaillardet gilles@rist.or.jp

This is a one-off commit for the v4 series since
v5 and later moved to prrte.

Thanks Matt Thompson for reporting this issue.

Signed-off-by: Gilles Gouaillardet <gilles@rist.or.jp>
@ggouaillardet ggouaillardet added this to the v4.0.7 milestone Nov 3, 2021
@ggouaillardet ggouaillardet marked this pull request as draft November 3, 2021 10:18
@jsquyres
Copy link
Member

jsquyres commented Nov 3, 2021

Similar to #9609 (comment), shouldn't this PR be closed without merging because of the v4.0.x PR #8912?

@ggouaillardet
Copy link
Contributor Author

that's what I think. While waiting for some feedback, I marked this PR as draft.

@ggouaillardet
Copy link
Contributor Author

the right fix was already applied, and this PR would break the wrappers, so I am closing it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants