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 "GNU Mach".
The branch, master has been updated
via 4adf780d61796c45f58100ed15d9c9a0a3c562fc (commit)
from 5cd316231c1f67366fda26fb302ace306ca3de3f (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 4adf780d61796c45f58100ed15d9c9a0a3c562fc
Author: Samuel Thibault <samuel.thiba...@ens-lyon.org>
Date: Mon Jan 27 23:05:52 2020 +0100
doc: Fix mapped-time example
One needs to use memory barriers to be sure to be reading values in the
proper order.
* doc/mach.texi (Host Time): Add __sync_synchronize() in mapped-time
example.
-----------------------------------------------------------------------
Summary of changes:
doc/mach.texi | 2 ++
1 file changed, 2 insertions(+)
hooks/post-receive
--
GNU Mach
