Closed jcfr closed 2 years ago
@jcfr somehow there was a bug when merging your PR to main. It was listed as open although it was correctly merged so I closed it manually. Sorry about this.
It was listed as open although it was correctly merged so I closed it manually
Thanks for integrating :pray: and no worry about the unexpected GitHub pull request status issue.
@jcfr Thank you for the fix!