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 "Hurd".
The branch, master has been updated via 6ab707e575fefa32c039ce5f815e4859b6cd1d47 (commit) from c2faa45297d07aa717af3caa5adb2d397ebb5468 (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 6ab707e575fefa32c039ce5f815e4859b6cd1d47 Author: Samuel Thibault <samuel.thiba...@ens-lyon.org> Date: Sat Dec 31 12:56:49 2022 +0100 mach-defpager: document lock ordering ----------------------------------------------------------------------- Summary of changes: mach-defpager/priv.h | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) hooks/post-receive -- Hurd