Closed heri16 closed 4 years ago
@remilapeyre would you kindly review this PR?
Hi @heri16, thanks for this ! I want to move a few modifications before merging but cannot push them. Did you deactivate the modifications by the maintainer on the pull request?
@remilapeyre would you kindly review this PR?