Here attach the patch files.
About the sources, the gnumach apt sources are dated in 2018/02/18, so It
don't includes your latest fixes.
How can I download sources from git repository?
2018-06-19 2:26 GMT+02:00 Samuel Thibault :
> Hello,
>
> Almudena Garcia, le lun. 18 juin 2018 21:16:28 +0200,
Almudena Garcia writes:
> Here attach the patch files.
>
> About the sources, the gnumach apt sources are dated in 2018/02/18, so It
> don't includes your latest fixes.
>
> How can I download sources from git repository?
I believe the gnumach repo is located here:
git clone git://git.sv.gnu.or
