From e9dabdfad8b3ed6336da231819ca31ee6a9d1514 Mon Sep 17 00:00:00 2001
From: Vladimir 'phcoder' Serbinenko <phcoder@gmail.com>
Date: Wed, 20 Mar 2013 16:58:07 +0100
Subject: [PATCH] 	* include/grub/boottime.h: Add missing file.

---
 ChangeLog               | 4 ++++
 include/grub/boottime.h | 0
 2 files changed, 4 insertions(+)
 create mode 100644 include/grub/boottime.h

diff --git a/ChangeLog b/ChangeLog
index dd9c97a74..0c28b1123 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2013-03-20  Vladimir Serbinenko  <phcoder@gmail.com>
+
+	* include/grub/boottime.h: Add missing file.
+
 2013-03-19  Vladimir Serbinenko  <phcoder@gmail.com>
 
 	Initialize USB ports in parallel to speed-up boot.
diff --git a/include/grub/boottime.h b/include/grub/boottime.h
new file mode 100644
index 000000000..e69de29bb