Closed Jannkar closed 2 years ago
I would like to have this change also in the galactic branch. How does it work in general, should I make another pull request for the backport, or is this something you normally handle?
If you cherry pick this commit to Galactic and submit a PR, I can merge it
Basic Info
Description of contribution in a few bullet points
Description of documentation updates required from your changes
None
Future work that may be required in bullet points
None