Joseph Myers, on lun. 19 mars 2018 16:57:07 +0000, wrote: > But actually nothing else defines GSYNC_SHARED Actually gnumach does. This is used to avoid having to depend on a recent version of its headers. Samuel