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 d13bb033edbf930854f094e6a6cc2caa652e9aac (commit)
from 824d96e0727f5b69cf75c17faae1bd6644c62405 (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 d13bb033edbf930854f094e6a6cc2caa652e9aac
Author: Joshua Branson <[email protected]>
Date: Mon Feb 23 16:34:09 2026 +0000
changed $ commands to # commands on rumpnet page.
Message-ID: <[email protected]>
-----------------------------------------------------------------------
Summary of changes:
hurd/rump/rumpnet.mdwn | 16 ++++++++++++----
1 file changed, 12 insertions(+), 4 deletions(-)
hooks/post-receive
--
Web pages
