chiark / gitweb /
Merge branch 'updates' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Tue, 25 Oct 2016 11:06:47 +0000 (11:06 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Tue, 25 Oct 2016 11:06:47 +0000 (11:06 +0000)
commit559f38cd218b857164ddba835828cfd52637b4e5
tree83b965ecbfaa986293d4c95a3192ab088d1af607
parentaa4aa45703ded506815a3ccbe94fb3fc72d48c03
parent148f077ad84577c5b5e5df8c3b68acea58ab7a12
Merge branch 'updates' into 'master'

makebs and CI updates

See merge request !178