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 920b6eebb17e73ea85ecda92adfba196686886af (commit) via bc652bac4ffedfb0444100a027727a5ea9dcee75 (commit) from 28b24f2286a8fdea2670cfacbdd252a697dbb10f (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 920b6eebb17e73ea85ecda92adfba196686886af Author: Samuel Thibault <samuel.thiba...@ens-lyon.org> Date: Tue Nov 27 22:17:15 2018 +0100 Fix some details on RPCs commit bc652bac4ffedfb0444100a027727a5ea9dcee75 Author: Joshua Branson <jbra...@fastmail.com> Date: Mon Nov 26 11:51:44 2018 -0500 I added mach_msg to the gnumach syscall page. I tried to add some more information to the rpc and syscall pages. ----------------------------------------------------------------------- Summary of changes: microkernel/mach/gnumach/interface/syscall.mdwn | 2 ++ rpc.mdwn | 14 +++++++++++++- system_call.mdwn | 8 +++++--- 3 files changed, 20 insertions(+), 4 deletions(-) hooks/post-receive -- Web pages