From aa4dd3443ffd3cb4639c69dc72214a3f5b758071 Mon Sep 17 00:00:00 2001
From: Paul Davis <paul@linuxaudiosystems.com>
Date: Sat, 13 Jul 2013 08:19:32 -0400
Subject: [PATCH] Include pbd/timersub.h for mingw build

---
 gtk2_ardour/midi_tracer.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gtk2_ardour/midi_tracer.cc b/gtk2_ardour/midi_tracer.cc
index 1fc50c103f..e447c59f3b 100644
--- a/gtk2_ardour/midi_tracer.cc
+++ b/gtk2_ardour/midi_tracer.cc
@@ -24,6 +24,7 @@
 #include <time.h>
 
 #include "pbd/localtime_r.h"
+#include "pbd/timersub.h"
 
 #include "midi++/parser.h"
 #include "midi++/manager.h"