dolphin-emu/dolphin — pull request #1261 by lioncash (2014-10-12 03:13:05+00:00)
Title: AVIDump: Add missing CoreTiming header

Fixes build on the mesa buildbot