From f1f7d19ead04bb5fca0352c39fc1039970c2d4f9 Mon Sep 17 00:00:00 2001
From: starous <starous@pracovna>
Date: Mon, 5 Jul 2010 20:34:27 +0200
Subject: [PATCH] ChangeLog & usbhub.c correction

---
 ChangeLog        | 4 ++++
 bus/usb/usbhub.c | 1 +
 2 files changed, 5 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 81dfc1c78..5b5717c18 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2010-07-05  Ales Nesrsta <starous@volny.cz>
+	* bus/usb/usbhub.c, usbtrans.h: Simple USB hub support
+	* bus/usb/uhci.c: UHCI portstatus correction
+
 2010-07-05  Colin Watson  <cjwatson@ubuntu.com>
 
 	* docs/grub.texi (Features): Update list of supported file systems.
diff --git a/bus/usb/usbhub.c b/bus/usb/usbhub.c
index 034ccbe8d..2bbc850d0 100644
--- a/bus/usb/usbhub.c
+++ b/bus/usb/usbhub.c
@@ -21,6 +21,7 @@
 #include <grub/mm.h>
 #include <grub/usb.h>
 #include <grub/misc.h>
+#include <grub/time.h>
 
 /* USB Supports 127 devices, with device 0 as special case.  */
 static struct grub_usb_device *grub_usb_devs[128];