chiark / gitweb /
Merge branch 'log_git' into 'master'
authorrelan <relan@airpost.net>
Sun, 3 Dec 2017 06:03:03 +0000 (06:03 +0000)
committerrelan <relan@airpost.net>
Sun, 3 Dec 2017 06:03:03 +0000 (06:03 +0000)
build: log vcs tools version on every build attempt

See merge request fdroid/fdroidserver!391

1  2 
fdroidserver/build.py

Simple merge