mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-18 12:54:25 +01:00
Previously the filtering was made on ContributedLibrary, but the objects that is actually displayed is a ContributeLibraryReleases, so it comens natural to filter on this class of objects. Apparently the functionality is not affected by this commit, but there may be some side-effect that may probably fix some visualization bug.