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 "Web pages".
The branch, master has been updated
via f83b1996844c5c0dd5596c615f92250b6ba84f22 (commit)
from 4845d8baf357752e6a67be08cd17f32535cac86b (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 f83b1996844c5c0dd5596c615f92250b6ba84f22
Author: Joshua Branson <jbra...@fastmail.com>
Date: Sat Oct 27 09:17:53 2018 -0400
* I modified tcp_ip_stack to reflect that lwip should replace pfinet.
* I modified open_issues/device_drivers_and_io_systems to include rump
kernel.
* I created a rump kernel wiki page, and I linked to it from the
project_ideas/tcp_ip_stack webpage.
* I added an obsolete logo to the DDE page, to pointe people to the Rump
kernel page.
-----------------------------------------------------------------------
Summary of changes:
community/gsoc/project_ideas/driver_glue_code.mdwn | 2 +-
community/gsoc/project_ideas/tcp_ip_stack.mdwn | 3 +-
dde.mdwn | 9 +++++
open_issues/device_drivers_and_io_systems.mdwn | 2 ++
rump_kernel.mdwn | 40 ++++++++++++++++++++++
5 files changed, 54 insertions(+), 2 deletions(-)
create mode 100644 rump_kernel.mdwn
hooks/post-receive
--
Web pages
