On Mon, Oct 21, 2019 at 2:23 AM Pierre-Yves Chibon
wrote:
> On Sat, Oct 19, 2019 at 05:42:02PM -0700, Kevin Fenzi wrote:
> > On Sat, Oct 19, 2019 at 05:49:18PM +, Zbigniew Jędrzejewski-Szmek
> wrote:
> > > On Sat, Oct 19, 2019 at 03:52:03PM +0100, Richard W.M. Jones wrote:
> > > > On Fri,
On Sat, Oct 19, 2019 at 05:42:02PM -0700, Kevin Fenzi wrote:
> On Sat, Oct 19, 2019 at 05:49:18PM +, Zbigniew Jędrzejewski-Szmek wrote:
> > On Sat, Oct 19, 2019 at 03:52:03PM +0100, Richard W.M. Jones wrote:
> > > On Fri, Oct 18, 2019 at 02:09:14PM -0400, Ben Cotton wrote:
> > > >
On Sat, Oct 19, 2019 at 05:49:18PM +, Zbigniew Jędrzejewski-Szmek wrote:
> On Sat, Oct 19, 2019 at 03:52:03PM +0100, Richard W.M. Jones wrote:
> > On Fri, Oct 18, 2019 at 02:09:14PM -0400, Ben Cotton wrote:
> > > https://fedoraproject.org/wiki/Changes/OnDemandSideTags
> >
> > Nice idea.
On Sat, Oct 19, 2019 at 03:52:03PM +0100, Richard W.M. Jones wrote:
> On Fri, Oct 18, 2019 at 02:09:14PM -0400, Ben Cotton wrote:
> > https://fedoraproject.org/wiki/Changes/OnDemandSideTags
>
> Nice idea. Maybe I missed it, but I didn't see in the proposal if
> there would be guidelines for
On Fri, Oct 18, 2019 at 02:09:14PM -0400, Ben Cotton wrote:
> https://fedoraproject.org/wiki/Changes/OnDemandSideTags
Nice idea. Maybe I missed it, but I didn't see in the proposal if
there would be guidelines for naming the side tags so they don't
interfere with each other?
For OCaml rebuilds