Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [tycho-dev] tycho vs tycho-extras: what's the value?

On Thu, 24 Oct 2019 at 09:28, Aleksandar Kurtakov <akurtako@xxxxxxxxxx> wrote:
On Thu, Oct 24, 2019 at 4:16 PM Mickael Istria <mistria@xxxxxxxxxx> wrote:
Unless the pros growth manage to weigh, I think you know what's going to happen: we'll try merging tycho-extras into main tycho.

I fully agree with you. The split doesn't make sense anymore to me.


Back to the top