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 9c714507da9ea3a648b16de01485ee8df147c488 (commit)
from 883848f64c4f9d7369d5a74292dd345759d3c2b5 (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 9c714507da9ea3a648b16de01485ee8df147c488
Author: Samuel Thibault <[email protected]>
Date: Sat Dec 2 12:04:05 2023 +0100
Better name sections about building gnumach
-----------------------------------------------------------------------
Summary of changes:
microkernel/mach/gnumach/building.mdwn | 20 +++++++-------------
1 file changed, 7 insertions(+), 13 deletions(-)
hooks/post-receive
--
Web pages
