Re: gnumach: bug in dev_pager.c

[Samuel Thibault]

Joan Lledó, le mar. 09 août 2022 10:32:16 +0200, a ecrit:
> Since it was a tiny patch I pushed the changes myself.

Thanks!

Samuel