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 c98543606a552652301526fbadcf11f7b6752b55 (commit)
from 6a83c7b176ff0ffc920a9fc219aa637ab9aa0036 (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 c98543606a552652301526fbadcf11f7b6752b55
Author: Samuel Thibault <samuel.thiba...@ens-lyon.org>
Date: Mon Feb 10 22:29:46 2025 +0100
Fix memory object methods names
-----------------------------------------------------------------------
Summary of changes:
microkernel/mach/external_pager_mechanism.mdwn | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
hooks/post-receive
--
Web pages
