Re: [flag-types.h] don't assume 32-bit ints

Thu, 16 Oct 2014 13:59:02 -0700 

> With a ChangeLog entry yes.

Thanks!  Committed.

Reply via email to