chiark / gitweb /
Merge branch 'makebuildserver-jenkins-fixes' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Tue, 26 Jan 2016 19:52:12 +0000 (19:52 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Tue, 26 Jan 2016 19:52:12 +0000 (19:52 +0000)
commit5952c46bd0cf4c340fd3875e3ea4a4ebaf12f0bc
tree764a9933e6e3d7b1d667a754c11d0d1c029b569c
parent88d369e2936900f4c03a3994801309e2367ba18e
parent90d81eba2d136721bdf33557e5cb5dbd931c954b
Merge branch 'makebuildserver-jenkins-fixes' into 'master'

Makebuildserver jenkins fixes

more stuff related to the Debian jenkins build

See merge request !92