On Mon, Apr 17, 2017 at 04:09:01PM -0400, Leo Famulari wrote:
> On Mon, Apr 17, 2017 at 09:33:12PM +0200, Marius Bakke wrote:
> > @Leo, others: I don't anticipate more staging updates in a while, should
> > we try and get this merged?
> 
> Sure, I merged master into staging and started an evaluation of the
> staging branch.

I just merged master into staging and started a new evaluation. Barring
any new complications, I plan to merge staging into master later today.