On Mon, Jan 01, 2018 at 06:12:49PM +0100, Ludovic Courtès wrote:
> We’ll have to stay focused in the coming days to fix everything as
> quickly as we can.

FYI everyone, I merged master -> core-updates and updated Fossil because
the latest Fossil requires a new SQLite.