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)
commita417e10ae13d57893b7b30cf8c322514b886d754
tree800ace66f0f1504cee8112799d695705752d7f7c
parent1b39c416514c6bfb07f79a6cc2c851944f0ea779
parent146fe42b91cad2ed7bf10880b7b1b16e414ec831
Merge pull request #8 from cbrunet/master

Corrected bug for Ubuntu 13.10