Am Mittwoch, den 19.07.2017, 16:37 +0200 schrieb Enrico Forestieri: > The attached patch takes into account all of these ideas. As a > disclaimer, > note that I am providing it only because I am now familiar with this > part > of the code and can quickly come up with a patch. But I am not > endorsing it.
I propose to apply this patch and return to productivity. Jürgen
signature.asc
Description: This is a digitally signed message part