Re: [pointer size] more edge cases

Wed, 15 Oct 2014 22:04:21 -0700 

> The other changes are OK.

Committed those then.  Thanks!

Reply via email to