> On 8 May 2023, at 10:39, Daniel Gustafsson <daniel(at)yesql(dot)se> wrote:
>> On 4 May 2023, at 14:18, Daniel Gustafsson <daniel(at)yesql(dot)se> wrote:
>>> On 4 May 2023, at 14:09, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)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