| commit | f69197ec7502e8520ab35842d8f28c448aa0e5bf | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Tue May 26 21:02:52 2020 +0200 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Tue May 26 21:02:52 2020 +0200 |
| tree | f24ebaf9d280897d6ddf1db367d66a9b762b92b5 | |
| parent | 95d157505fd5357d00b28c21a865c29b4514ea71 [diff] |
Fix compile errors after JDT's https://git.eclipse.org/r/#/c/155226/