Re: [tycho-dev] tycho vs tycho-extras: what's the value?

[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?

From: Mickael Istria <mistria@xxxxxxxxxx>
Date: Mon, 28 Oct 2019 19:50:56 +0100
Delivered-to: tycho-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/tycho-dev>
List-help: <mailto:tycho-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/tycho-dev>, <mailto:tycho-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/tycho-dev>, <mailto:tycho-dev-request@eclipse.org?subject=unsubscribe>

Ok, as there is agreement, I've opened https://bugs.eclipse.org/bugs/show_bug.cgi?id=552494 .

We'll track progress there.

References:
- [tycho-dev] tycho vs tycho-extras: what's the value?
  - From: Mickael Istria
- Re: [tycho-dev] tycho vs tycho-extras: what's the value?
  - From: Johan Compagner
- Re: [tycho-dev] tycho vs tycho-extras: what's the value?
  - From: Mickael Istria
- Re: [tycho-dev] tycho vs tycho-extras: what's the value?
  - From: Guillaume Dufour
- Re: [tycho-dev] tycho vs tycho-extras: what's the value?
  - From: Mickael Istria
- Re: [tycho-dev] tycho vs tycho-extras: what's the value?
  - From: Sievers, Jan

Prev by Date: Re: [tycho-dev] tycho vs tycho-extras: what's the value?
Next by Date: [tycho-dev] Formater profile used in Tycho
Previous by thread: Re: [tycho-dev] tycho vs tycho-extras: what's the value?
Next by thread: [tycho-dev] Tycho 1.5.1 is released
Index(es):
- Date
- Thread

Back to the top