chiark / gitweb /
jenkins-build: switch buildserver to new 64-bit base
authorHans-Christoph Steiner <hans@eds.org>
Mon, 4 Jul 2016 11:14:37 +0000 (13:14 +0200)
committerHans-Christoph Steiner <hans@eds.org>
Mon, 4 Jul 2016 11:16:15 +0000 (13:16 +0200)
commitd8bf2bb312516d52094699f1dd14d7cbbe0a97b6
treec2913e43787e3b0060f2028adc729924a93c306b
parenta573688a44b8cdef3d2df9f159e5ed894d7cec15
jenkins-build: switch buildserver to new 64-bit base
jenkins-build-makebuildserver