On Saturday, 9 November 2019 22:40:59 GMT Ian Zimmerman wrote:
> On 2019-10-26 14:04, Neil Bothwick wrote:
> > There's no need to mess around adding and removing masks, just use the
> > --exclude option.
>
> Multiple exclude options seem to further lengthen emerge's "thinking"
> phase, which is a
On 2019-10-26 14:04, Neil Bothwick wrote:
> There's no need to mess around adding and removing masks, just use the
> --exclude option.
Multiple exclude options seem to further lengthen emerge's "thinking"
phase, which is a huge pain as it is. The increase seems at least linear
in the number of
2 matches
Mail list logo
