git push #1225 Fixed minor typo (deguif)
authorFabien Potencier <fabien.potencier@gmail.com>
Mon, 7 Oct 2013 10:00:50 +0000 (12:00 +0200)
committerFabien Potencier <fabien.potencier@gmail.com>
Mon, 7 Oct 2013 10:00:50 +0000 (12:00 +0200)
This PR was merged into the master branch.

Discussion
----------

Fixed minor typo

Commits
-------

c05c2e1 Fixed minor typo


Trivial merge