Merge branch Issue#119 with master
There are no commits yet
Push commits to the source branch or add previously merged commits to review them.
Minor visual fixes. More infos in this commit: 5928040b
Push commits to the source branch or add previously merged commits to review them.