Nathan, On Mon, Jul 3, 2023 at 8:12 PM Nathan Bossart <nathandboss...@gmail.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.