chiark / gitweb /
Merge branch 'supportlib' into 'master'
authorCiaran Gultnieks <ciaran@ciarang.com>
Sat, 4 Feb 2017 17:34:49 +0000 (17:34 +0000)
committerCiaran Gultnieks <ciaran@ciarang.com>
Sat, 4 Feb 2017 17:34:49 +0000 (17:34 +0000)
commitc344c31271dd140fe4c7e9270161ec716b5d5da1
tree9d252896cad3b3d08fa500524f104f70aead1c80
parent1993cc874d22b99c3e2300d3a6487e805548e786
parentf32f4a68d175a2ef715b6fdd9f172d21dcc7a34b
Merge branch 'supportlib' into 'master'

makebs: upgrade support repo to r42

See merge request !203