merged branch DieterDePaepe/patch-1 (PR #1105)
authorFabien Potencier <fabien.potencier@gmail.com>
Sat, 25 May 2013 14:52:30 +0000 (16:52 +0200)
committerFabien Potencier <fabien.potencier@gmail.com>
Sat, 25 May 2013 14:52:30 +0000 (16:52 +0200)
This PR was merged into the master branch.

Discussion
----------

Add missing semicolon

Commits
-------

550503e Add missing semicolon


Trivial merge