Merge pull request #368 from gabri94/master
authorSaverio Proto <zioproto@gmail.com>
Wed, 2 May 2018 09:01:44 +0000 (11:01 +0200)
committerGitHub <noreply@github.com>
Wed, 2 May 2018 09:01:44 +0000 (11:01 +0200)
prince: version bump to v0.4


Trivial merge