Hi Pål,
On Dienstag, 4. April 2017 13:27:49 CEST you wrote:
> > Cut-off date for code changes: Tuesday April 11, 2017. The master branches
> > of all modules will be closed for non-trivial, non-regression and non-
> > documentation merges after this, i.e., I'll be a jerk and personally
> > revert
> Cut-off date for code changes: Tuesday April 11, 2017. The master branches of
> all modules will be closed for non-trivial, non-regression and non-
> documentation merges after this, i.e., I'll be a jerk and personally revert
> any merged code changes that do not fix serious problems thereafter.