Merge branch 'mingw-port'
authorAntonio Ospite <ospite@studenti.unina.it>
Thu, 10 May 2012 14:02:16 +0000 (16:02 +0200)
committerAntonio Ospite <ospite@studenti.unina.it>
Thu, 10 May 2012 14:02:16 +0000 (16:02 +0200)

Trivial merge