This release includes Repository enhancements and small bugfixes. Update your website or download new.
If you missed the last release and all the goodness of Repository, read about it here. Today we released a further set of enhancements to Repository: live search and option to delete files.
At the same time we fixed a few small bugs.
Most important enhancements and fixes are described on GitHub.