On Thu, Mar 16, 2023 at 10:24:32AM +0100, Drouvot, Bertrand wrote:
> My plan was to get [1] done before resuming working on the "Split
> index and table statistics into different types of stats" one.
Okay, I was unsure what should be the order here. Let's see about [1]
first, then.
--
Michael