Merge branch 'master' into travis-matrix
authormayeut <mayeut@users.noreply.github.com>
Tue, 6 Oct 2015 18:54:16 +0000 (20:54 +0200)
committermayeut <mayeut@users.noreply.github.com>
Tue, 6 Oct 2015 18:54:16 +0000 (20:54 +0200)

Trivial merge