Nathan,
On Mon, Jul 3, 2023 at 8:12 PM Nathan Bossart <nathandbossart(at)gmail(dot)com>
wrote:
> On Mon, Jul 03, 2023 at 06:00:12PM -0700, Yurii Rashkovskii wrote:
> > Great, thank you! The reason I was leaving the other constant in place to
> > make upgrading extensions trivial (so that they don't need to adjust for
> > this), but if you think this is a better way, I am fine with it.
>
> Sorry, I'm not following. Which constant are you referring to?
>
Apologies, I misread the final patch. All good!
--
Y.