On Wed, Jun 11, 2025 at 03:45:46PM +0200, Christoph Berg wrote:
> Do we want to change the checkpoint log message (and the new options)
> only, or include the CHECKPOINT_* flags? (I would guess there aren't
> many external users of these flags, but mmmv.)
IMO we should try to make the terminology consistent everywhere. I'd
suggest putting the renaming stuff in separate prerequisite patches for
your new CHECKPOINT option.
--
nathan