On Thu, 19 Aug 2021, Martin Vahlensieck wrote: > Ping. > > On Tue, Aug 10, 2021 at 04:33:52PM +0200, Martin Vahlensieck wrote: > > Ping, diff reattached with extra context for easier review. > > > > On Wed, Jul 21, 2021 at 12:10:31PM +0200, Martin Vahlensieck wrote: > > > Hi > > > > > > After the last commit where consecutive `*' are folded, *pattern is > > > never '*' here.
I prefer to leave this as-is because it documents the intention of the code and because there's still more work to do in fixing recursion problems in that function. -d
