On Wed, Dec 2, 2015 at 7:36 PM, Dave Cramer <pg@fastcrypt.com> wrote:
> Anyone have any objections to this ? Otherwise I'm going to merge it
> tomorrow
>
Are there any PRs that should be merged in first? This change will
mean all those outstanding PRs will need some work before they build
successfully.