> On 8 May 2023, at 10:39, Daniel Gustafsson <dan...@yesql.se> wrote: >> On 4 May 2023, at 14:18, Daniel Gustafsson <dan...@yesql.se> wrote: >>> On 4 May 2023, at 14:09, Tom Lane <t...@sss.pgh.pa.us> 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