Re: [ide-dev] A new survey

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

Re: [ide-dev] A new survey

From: Mickael Istria <mistria@xxxxxxxxxx>
Date: Sun, 1 Nov 2015 10:54:40 +0100
Delivered-to: ide-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/ide-dev>
List-help: <mailto:ide-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/ide-dev>, <mailto:ide-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/ide-dev>, <mailto:ide-dev-request@eclipse.org?subject=unsubscribe>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.1.0

Since many contributors agree, maybe it's not worth bothering users withthat, and just open a bug to EPP to ask to apply that change?

Follow-Ups:
- Re: [ide-dev] A new survey
  - From: Lars Vogel

References:
- [ide-dev] A new survey
  - From: Pascal Rapicault
- Re: [ide-dev] A new survey
  - From: Ian Skerrett
- Re: [ide-dev] A new survey
  - From: Mickael Istria
- Re: [ide-dev] A new survey
  - From: Kaloyan Raev
- Re: [ide-dev] A new survey
  - From: Lars Vogel
- Re: [ide-dev] A new survey
  - From: Mickael Istria
- Re: [ide-dev] A new survey
  - From: Kaloyan Raev
- Re: [ide-dev] A new survey
  - From: Daniel Megert

Prev by Date: Re: [ide-dev] A new survey
Next by Date: Re: [ide-dev] A new survey
Previous by thread: Re: [ide-dev] A new survey
Next by thread: Re: [ide-dev] A new survey
Index(es):
- Date
- Thread

Back to the top