Re: [PATCH 1/3] gnu: gnumach-headers: Update to 1.5

[Ludovic Courtès]

Manolis Ragkousis <manolis...@gmail.com> skribis:

> If you are okay with that, I will push them to master.

Sure, OK for all 3 patches!

Ludo’.