Justus Winter <4winter at informatik.uni-hamburg.de> writes: > Signed-off-by: Justus Winter <4winter at informatik.uni-hamburg.de> > --- > NEWS | 8 ++++++++ Pushed, thanks. d