Merge remote-tracking branch 'origin/rettichschnidi' into mingw-port
authorAntonio Ospite <ospite@studenti.unina.it>
Thu, 10 May 2012 13:57:19 +0000 (15:57 +0200)
committerAntonio Ospite <ospite@studenti.unina.it>
Thu, 10 May 2012 13:57:19 +0000 (15:57 +0200)

Trivial merge