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)

No differences found