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 dea83f48eaf03422ee94c351a4520257e4d319f4 (commit)
from 3986853dc7b1fa3f07ab518dfebe8de0096a4d26 (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 dea83f48eaf03422ee94c351a4520257e4d319f4
Author: Samuel Thibault <[email protected]>
Date: Fri Feb 11 01:26:52 2022 +0100
Make it clear that there is user-land preemption
-----------------------------------------------------------------------
Summary of changes:
microkernel/mach/gnumach/preemption.mdwn | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
hooks/post-receive
--
Web pages
