merged branch greg0ire/patch-1 (PR #851)
authorFabien Potencier <fabien.potencier@gmail.com>
Sat, 29 Sep 2012 16:33:35 +0000 (18:33 +0200)
committerFabien Potencier <fabien.potencier@gmail.com>
Sat, 29 Sep 2012 16:33:35 +0000 (18:33 +0200)
This PR was merged into the master branch.

Commits
-------

d52e15b remove tautology

Discussion
----------

remove tautology

We already know the example is "for example".


Trivial merge