[SCM] Web pages branch, master, updated. dea83f48eaf03422ee94c351a4520257e4d319f4

[Samuel Thibault]

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 <samuel.thibault@ens-lyon.org>
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