On Sun, 12 Apr 2015, Michael Witten wrote: > Well, now! What a pleasant surprise! I was looking for a reason > to crack open a beer, and this shall do nicely.
:-) > Say, how did you end up coming across this patch after nearly 4 years? I keep things that might require attention "in case nobody else bites" or that look they'll take longer I have at the moment for later. Unfortunately things did accumulate a bit the last years, but it's clearing up. If you have any further patches, let us know, and I'll strive to be faster by an order of magnitude or two. Gerald
