Re: [pcre-dev] Disable Coverity Scan runs for PCRE1?

Hi,

On Fri, 20 Aug 2021 at 17:36, Philip Hazel <philip.hazel@???> wrote:

> Yes, good idea, especially as the SVN repo will be going away at some
> point.
>

OK, I'll disable the runs.

Thanks!
--
Giuseppe D'Angelo