> On 8 May 2023, at 10:39, Daniel Gustafsson <[email protected]> wrote: >> On 4 May 2023, at 14:18, Daniel Gustafsson <[email protected]> wrote: >>> On 4 May 2023, at 14:09, Tom Lane <[email protected]> wrote:
>>> How about naming >>> the hash "EventTriggerCacheHash" or so? >> >> I think the level is the indicator here, but I have no strong opinions, >> EventTriggerCacheHash is fine by me. > > The attached trivial diff does that, parking this in the next CF. Pushed, thanks! -- Daniel Gustafsson
