[SCM] GNU Mach branch, master, updated. v1.8-115-g4adf780

[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 "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 <address@hidden>
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