| commit | b8285e5afcc07e6887fdf89f7483129bf84238df | [log] [tgz] |
|---|---|---|
| author | Ed Merks <ed.merks@gmail.com> | Tue Dec 24 08:08:16 2019 +0100 |
| committer | Ed Merks <ed.merks@gmail.com> | Tue Dec 24 08:08:16 2019 +0100 |
| tree | 7d6d7fc33d4237df6e18781ec77fece6ed1462a9 | |
| parent | b12be912636ac11b90c4144d18362504ce2c25dc [diff] |
[Releng] Switch target platform back to 4.15. Bug https://bugs.eclipse.org/bugs/show_bug.cgi?id=558583 is fixed.