Skip to content

Conversation

@nicolasstucki
Copy link
Contributor

Issue found in #16570

@nicolasstucki nicolasstucki added the fasttrack Simple fix. Reviewer should merge or apply additional changes directly. label Dec 22, 2022
@nicolasstucki nicolasstucki marked this pull request as ready for review December 22, 2022 08:44
auto-merge was automatically disabled December 22, 2022 15:37

Pull request was closed

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

Labels

fasttrack Simple fix. Reviewer should merge or apply additional changes directly.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant