Rename ia32 to x86.
(EXTRA_DIST): Mention mempool.h.

(Logical change 1.32)
1 file changed