Am Sonntag, den 08.05.2016, 17:36 +0000 schrieb Mattia Rizzolo: > > > > > I'll ping you on the list when this is done. > Thanks. > Okay, done, tested, and pushed. I also pushed the new upstream tag now, forgot to do it before. many thanks, Gert