This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "Hurd".
The branch, master has been updated via 41da689280091dcabd153b77627818b0a89645bf (commit) from d49d0ac8d97e30a9b3a9140af6e9f402d39654c2 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 41da689280091dcabd153b77627818b0a89645bf Author: Justus Winter <4win...@informatik.uni-hamburg.de> Date: Thu Apr 10 18:48:14 2014 +0200 boot: remove the ourdevice hack Previously, the device definitions were filtered using sed to replace the device_t type with mach_port_send_t to make the device argument of device_open polymorphic. Rather than doing that, which makes it impossible to use translation functions, the definition of device_open has been amended. * boot/Makefile: Remove the ourdevice hack. * boot/boot.c: Adjust the include accordingly. ----------------------------------------------------------------------- Summary of changes: boot/Makefile | 6 +----- boot/boot.c | 2 +- 2 files changed, 2 insertions(+), 6 deletions(-) hooks/post-receive -- Hurd