On Mon, 4 Jan 2016, Manuel Eberl wrote: > I completed the merge I mentioned in my previous email. Fine. This is Isabelle/b0f941e207cf. Do you want to write an entry for NEWS and CONTRIBUTORS? Makarius