On Wed, Apr 18, 2018 at 6:55 PM, Thomas Munro
<thomas(dot)munro(at)enterprisedb(dot)com> wrote:
> Here's a draft patch that does that.
Here's a better one (the previous version could read past the end of
the occurred_events array).
--
Thomas Munro
http://www.enterprisedb.com