On Sat, Oct 14, 2023 at 3:56 AM Andres Freund <andres@anarazel.de> wrote:
> On 2023-10-13 16:44:13 +0200, Dmitry Dolgov wrote:
> > Here is what I had in mind (only this part in the second patch was changed).
>
> Makes sense to me. I think we'll likely eventually want to use a custom
> pipeline anyway, and I think we should consider using an optimization level
> inbetween "not at all" "as hard as possible"...
Thanks Dmitry and Andres. I'm planning to commit these today if there
are no further comments.