schrieb am Sa., 8. Okt. 2016 um 16:34 Uhr: > Philipp Stephani writes: > > > > > > I've attached a patch. > > > > Looks good to me. > > Thanks, pushed to master.