chiark / gitweb /
makebs: upgrade support repo to r42
authorBoris Kraut <krt@nurfuerspam.de>
Sat, 4 Feb 2017 14:01:15 +0000 (15:01 +0100)
committerBoris Kraut <krt@nurfuerspam.de>
Sat, 4 Feb 2017 14:01:15 +0000 (15:01 +0100)
commitf32f4a68d175a2ef715b6fdd9f172d21dcc7a34b
tree9d252896cad3b3d08fa500524f104f70aead1c80
parent1993cc874d22b99c3e2300d3a6487e805548e786
makebs: upgrade support repo to r42
makebuildserver