merge
authorCiro Scognamiglio <ciro.scognamiglio@cslash.net>
Tue, 17 Mar 2015 17:08:27 +0000 (18:08 +0100)
committerCiro Scognamiglio <ciro.scognamiglio@cslash.net>
Tue, 17 Mar 2015 17:08:27 +0000 (18:08 +0100)

Trivial merge