Closed Gawen-pjr closed 8 years ago
Ah sorry for that. It was a patch to test the modifications from my own github repository. It's effectively unwanted changes
Then «close the pull-request» ;)
New pull-request with unwanted changes removed : #6366
Ah sorry for that. It was a patch to test the modifications from my own github repository. It's effectively unwanted changes