Closed ludovic-boutros closed 2 years ago
Hi @ludovic-boutros after merging your previous PR, now this has conflicts. Would you prefer to fix them yourself or want me to merge them manually? happy with both options 😄
Hi @ludovic-boutros I'm just going to merge it manually, I hope that is ok for you. Thanks again by all your efforts.
Manually merged d222e8366d7228a5f1e82534d940bd72e6202808, thanks a lot sir!
Thanks @purbon !
Please check if the PR fulfills these requirements
[x] The commit messages are descriptive
[x] Tests for the changes have been added (for bug fixes / features)
[x] Docs have been added / updated (for bug fixes / features)
[x] An issue has been created for the pull requests. Some issues might require previous discussion.
What kind of change does this PR introduce? (Bug fix, feature, docs update, ...) Fix #512