]> Sergey Matveev's repositories - public-inbox.git/commitdiff
searchthread: delete children early while ordering
authorEric Wong <e@80x24.org>
Wed, 22 Jun 2022 08:02:53 +0000 (08:02 +0000)
committerEric Wong <e@80x24.org>
Wed, 22 Jun 2022 16:33:16 +0000 (16:33 +0000)
This allows us to free up some memory sooner rather than later
in case ordersub is expensive.


No differences found