On Wed, 2014-11-12 at 13:36 -0800, Roland McGrath wrote:
> That's fine.

Thanks, pushed to master.