Skip to content

Conversation

pepeiborra
Copy link
Collaborator

@pepeiborra pepeiborra commented Jan 23, 2022

Applying the patch suggested by @Bodigrim #2583 (comment)

Copy link
Member

@jneira jneira left a comment

Choose a reason for hiding this comment

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

it seems a real win-win, thanks!

@pepeiborra pepeiborra added the merge me Label to trigger pull request merge label Jan 23, 2022
@mergify mergify bot merged commit aea3579 into master Jan 23, 2022
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
merge me Label to trigger pull request merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants