Re: gnumach - Page fault error

[Richard Braun]

On Thu, Nov 09, 2017 at 10:34:33AM +0100, Samuel Thibault wrote:
> Jens Arm, on jeu. 09 nov. 2017 08:56:21 +0100, wrote:
> > Sorry for the late answer.
> > This fix fixes the crashes.
> 
> Cool :)

Nice catch :).

-- 
Richard Braun