Fixing gettimeofday include for MINGW32

8 jobs for master in 4 minutes (queued for 5 seconds)
Status Job ID Name Coverage
  Build
passed #16518
linux
build:linux

00:01:25

passed #16517
mac_old
build:mac

00:02:04

passed #16516
win32
build:win32

00:01:03

passed #16515
winxp
build:winxp

00:01:15

 
  Dist
passed #16522
linux
dist:linux

00:00:16

passed #16521
mac_old
dist:mac

00:01:40

passed #16520
win32
dist:win32

00:00:14

passed #16519
winxp
dist:winxp

00:00:13