Merge pull request #8 from cbrunet/master
authorTobias Schlitt <toby@php.net>
Wed, 30 Oct 2013 17:32:28 +0000 (10:32 -0700)
committerTobias Schlitt <toby@php.net>
Wed, 30 Oct 2013 17:32:28 +0000 (10:32 -0700)
Corrected bug for Ubuntu 13.10


Trivial merge