Peter Serwylo 69fd955360 Merge branch 'master' into 'master' ...

Save updated repo data at the end of the update

This fixes #84.

See merge request !34

2014-09-11 03:51:24 +00:00

..

fdroid

Merge branch 'master' into 'master'

2014-09-11 03:51:24 +00:00