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)
makebs: upgrade support repo to r42

See merge request !203


Trivial merge