Merge branch 'GuKKDevel'
authorJan Dittberner <jandd@cacert.org>
Fri, 9 Nov 2018 16:34:19 +0000 (17:34 +0100)
committerJan Dittberner <jandd@cacert.org>
Fri, 9 Nov 2018 16:34:19 +0000 (17:34 +0100)
commitc45018910c57d0993c04f36dde7b28084765251a
tree6cabe3c6f2519f2d10e62d2efc9da61e417ca0a0
parent56a05a6aa3ca685bc96f919472d1a8a91f22e25f
parent778c0155c81f00e07695ff5671089ebb31b258de
Merge branch 'GuKKDevel'