Skip to content

Conversation

@stevengj
Copy link
Member

@stevengj stevengj commented Dec 30, 2022

Noted on discourse.

Seems like it dates all the way back to #13217 in 2015!

@stevengj stevengj added docs This change adds or pertains to documentation bugfix This change fixes an existing bug backport 1.9 Change should be backported to release-1.9 labels Dec 30, 2022
@stevengj
Copy link
Member Author

Oh, nevermind, this actually is valid syntax.

@stevengj stevengj closed this Dec 30, 2022
@KristofferC KristofferC removed the backport 1.9 Change should be backported to release-1.9 label Jan 2, 2023
@giordano giordano deleted the stevengj-patch-2 branch February 14, 2023 00:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bugfix This change fixes an existing bug docs This change adds or pertains to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants