platform: fix win32 compilation error
authorLars Op den Kamp <lars@opdenkamp.eu>
Thu, 17 May 2012 12:30:19 +0000 (14:30 +0200)
committerLars Op den Kamp <lars@opdenkamp.eu>
Thu, 17 May 2012 12:30:19 +0000 (14:30 +0200)

No differences found