bug-hurd
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] Use word_size instead of 4.


From: Samuel Thibault
Subject: Re: [PATCH] Use word_size instead of 4.
Date: Sun, 3 Apr 2016 10:59:21 +0200
User-agent: Mutt/1.5.21+34 (58baf7c9f32f) (2010-12-30)

Flavio Cruz, on Sun 03 Apr 2016 02:27:23 +0200, wrote:
> * server.c: Use word_size and update comments.
> * type.c: Use word_size to compute padding.
> * user.c: Use word_size and update comments.

Applied, thanks!

Samuel



reply via email to

[Prev in Thread] Current Thread [Next in Thread]