On 01/10/2015 07:16 AM, Tobias Burnus wrote: > Hi all, > > what's now the proposed handling? Is my current patch okay or are there other > suggestions? It seems so as if it would match the wishes from the thread, but > I'd like to have a green light before committal. > Yes, green light! Thanks, Jerry