Closed nalimilan closed 5 years ago
Yes, I'll try to add to the PR later in the evening
feel free to modify the modification :)
I can't see it... :-/
Nor can I. @matbesancon, perhaps you forgot to git push
?
oh this review interface tricked me again. Sorry! Since these are minor things I put them as suggestions instead of a commit
Do you feel like developing?