Re: [PATCH] Use word_size instead of 4.

[Samuel Thibault]

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