On 07/20/2017 01:21 AM, Jürgen Spitzmüller wrote: > 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.
I would agree with that. Richard