chiark / gitweb /
Merge branch 'master' into logging
authorDaniel Martí <mvdan@mvdan.cc>
Fri, 31 Jan 2014 08:14:03 +0000 (09:14 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Fri, 31 Jan 2014 08:14:03 +0000 (09:14 +0100)
1  2 
fdroidserver/update.py

Simple merge