mirror of
https://github.com/arduino/Arduino.git
synced 2024-12-01 12:24:14 +01:00
7c089c96d3
The error triggered inside ContributioIndexer.mergeContributions()
while trying to remove a platform:
if (platform != null) {
targetPackage.getPlatforms().remove(platform);
}
remove() method calls ContributedPlatform.equals() to find the
element to remove but since the parentPackage fields are resolved
*after* merging contributions, the equls() method will fail with
a NullPointerException.
|
||
|---|---|---|
| .. | ||
| lib | ||
| src | ||
| .classpath | ||
| .editorconfig | ||
| .gitignore | ||
| .project | ||
| build.xml | ||