Ah yes, I completely forgot about that. Will do. On 05/01/16 14:27, Makarius wrote: > 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