Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
"update all" button appears to do nothing in library manager #3837
Ubuntu 15.04, Processing 3.0b6.
Noticed when updating the Sound library to v1.3
Clicking on "update all" has no visible consequences. Moving to individual libraries doesn't show that they are being downloaded either.
Individually starting updates seems to work fine though.