Closed msouff closed 2 years ago
This is the same small change to the gitinstall file. I just had to recreated the PR because my base was in conflict with master. It should be ready to merge now.
This is the same small change to the gitinstall file. I just had to recreated the PR because my base was in conflict with master. It should be ready to merge now.