Skip to content

Conversation

nklloyd
Copy link
Contributor

@nklloyd nklloyd commented Feb 7, 2024

What type of PR is this? (check all applicable)

  • Refactor
  • Feature
  • Bug Fix
  • Optimization
  • Documentation Update
  • Other: Replace this with a description of the type of this PR

Description

Related Issues & Documents

Documentation (check all applicable)

  • This PR requires changes to the Wiki documentation (describe the changes)
  • This PR requires changes to the documentation inside the git repo (please add them to the PR).
  • Does not require documentation changes

Copy link
Member

@patrick96 patrick96 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks a lot! The changes look good.

I want this to be in the next bugfix release (3.7.2). So I went ahead and ported the commit onto the release branch (see #3090) and I will merge that one

@patrick96
Copy link
Member

Merged into the 3.7.2 release branch in #3090

@patrick96 patrick96 closed this Feb 10, 2024
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.

2 participants