Closed kriegaex closed 3 years ago
See also https://github.com/eclipse/eclipse.jdt.core/pull/62, which is a subset of https://github.com/eclipse/eclipse.jdt.core/pull/63. See also the corresponding upstream Eclipse Bugzilla issue # 573153.
@aclement, you asked for smaller PRs, this is one. I hope that will make it easier for you to accept it in a timely fashion. 🙂
See also https://github.com/eclipse/eclipse.jdt.core/pull/62, which is a subset of https://github.com/eclipse/eclipse.jdt.core/pull/63. See also the corresponding upstream Eclipse Bugzilla issue # 573153.
@aclement, you asked for smaller PRs, this is one. I hope that will make it easier for you to accept it in a timely fashion. 🙂