[SCM] Web pages branch, master, updated. 1c1f023b1c302eae296e68008de1729982e57415

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  1c1f023b1c302eae296e68008de1729982e57415 (commit)
      from  5294397783012176473506753bf2b604c8b5f3de (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 1c1f023b1c302eae296e68008de1729982e57415
Author: Samuel Thibault <[email protected]>
Date:   Thu Jul 23 01:14:27 2026 +0200

    Refresh xen documentation

-----------------------------------------------------------------------

Summary of changes:
 microkernel/mach/gnumach/ports/xen.mdwn            | 56 ++++++----------------
 microkernel/mach/gnumach/ports/xen/discussion.mdwn | 14 ------
 public_hurd_boxen/xen_handling.mdwn                | 12 ++---
 3 files changed, 21 insertions(+), 61 deletions(-)
 delete mode 100644 microkernel/mach/gnumach/ports/xen/discussion.mdwn


hooks/post-receive
-- 
Web pages