Thread: create event trigger docs

create event trigger docs

From
rir
Date:
The CREATE EVENT TRIGGER synopsis uses the
bare word 'filter_value' when it seems
    <replaceable class="parameter">filter_variable</replaceable>
was intended.

Thanks again.



Re: create event trigger docs

From
Michael Paquier
Date:
On Fri, Sep 24, 2021 at 02:36:58PM -0400, rir wrote:
> The CREATE EVENT TRIGGER synopsis uses the
> bare word 'filter_value' when it seems
>     <replaceable class="parameter">filter_variable</replaceable>
> was intended.

Right, there was one incorrect place.  Thanks!
--
Michael

Attachment