[jdt-dev] Changes to JDT Core gerrit

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

[jdt-dev] Changes to JDT Core gerrit

From: "Jayaprakash Arthanareeswaran" <jarthana@xxxxxxxxxx>
Date: Mon, 18 May 2020 09:05:39 +0000
Delivered-to: jdt-dev@xxxxxxxxxxx
Importance: Normal
List-archive: <https://www.eclipse.org/mailman/private/jdt-dev>
List-help: <mailto:jdt-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/jdt-dev>, <mailto:jdt-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/jdt-dev>, <mailto:jdt-dev-request@eclipse.org?subject=unsubscribe>
Sensitivity:

Hello,

As an experiment, I am moving the jdt core gerrit [1] to open JDK 12 (as of now now it's still using jdk 8). The details on why this is being tried

can be found on https://bugs.eclipse.org/bugs/show_bug.cgi?id=548999

Depending on how this goes, I will keep this change or revert it. If you have a reason why this (newer JDK) should not be used, please let me know.

Regards,

Jay

[1] https://ci.eclipse.org/jdt/job/eclipse.jdt.core-Gerrit/

Follow-Ups:
- Re: [jdt-dev] Changes to JDT Core gerrit
  - From: Manoj Palat
- Re: [jdt-dev] Changes to JDT Core gerrit
  - From: Jayaprakash Arthanareeswaran
- Re: [jdt-dev] Changes to JDT Core gerrit
  - From: Aleksandar Kurtakov

Prev by Date: Re: [jdt-dev] restart JIPP?
Next by Date: Re: [jdt-dev] Changes to JDT Core gerrit
Previous by thread: [jdt-dev] restart JIPP?
Next by thread: Re: [jdt-dev] Changes to JDT Core gerrit
Index(es):
- Date
- Thread

Back to the top