@tsteur opened this Pull Request on June 30th 2017 Owner

I haven't tried to reproduce it actually but this will reload all plugin information after clearing the cache and then should find the plugin update on the first try.

fix #11831

This Pull Request was closed on July 17th 2017
Powered by GitHub Issue Mirror