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)
commit8b26f4b319e2a76d9231db6a9d2b7970e927d0d6
treeb9c23bc027a7e64dd1fa8d13933197f0dfe7e6da
parent430cd42f80b97affc876f6752dfed915cf316b76
parent5cdb428a2f47f88840c89bcb7f7ec6562113a25e
Merge branch 'master' into logging
fdroidserver/update.py