On Tue, 20 May 2025 at 17:09, Michael Paquier <mich...@paquier.xyz> wrote: > > On Mon, May 19, 2025 at 08:43:25PM -0700, Lukas Fittl wrote: > > Yeah, +1 to making this consistent across both query ID and the new plan > > ID, and changing both to int64 internally seems best. > > Any thoughts from others? I'm OK to take the extra step of switching > both fields on HEAD and write a patch for that, relying on what David > has sent as a first step towards that.
Given the planId stuff is new and has the same issue, I think that pushes me towards thinking now is better than later for fixing both. I'm happy to adjust my patch unless you've started working on it already. David
