On Tue, 2019-05-07 at 15:04 -0700, Matt Turner wrote:
> On Tue, May 7, 2019 at 2:47 PM Michał Górny wrote:
> > On the other hand, if I am consider the benefit of having large number
> > of flags that will never benefit the majority of users (if anyone)
> > vs. having much faster CI (= being able t
On Tue, May 7, 2019 at 2:47 PM Michał Górny wrote:
> On the other hand, if I am consider the benefit of having large number
> of flags that will never benefit the majority of users (if anyone)
> vs. having much faster CI (= being able to run it more frequently,
> and therefore report problems fast
