tree 8b772914da4058467948ffeed4106d2883fc648d
parent 5f2fff3ec60e0f1537eb748da4b4c79994731360
author Luca Milanesio <luca.milanesio@gmail.com> 1463953647 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1479278264 +0000

Refresh only one plugin after install/upgrade

When installing or upgrading a single plugin, there is no need to
refresh the entire list. 

Change-Id: Ib2d7026b786e6f8628c7294f93596025228d8365