Merge remote-tracking branch 'GuKK/bug-1442' into bug-1442
authorBernhard Fröhlich <bernhard@cacert.org>
Sun, 18 Nov 2018 20:03:18 +0000 (21:03 +0100)
committerBernhard Fröhlich <bernhard@cacert.org>
Sun, 18 Nov 2018 20:03:18 +0000 (21:03 +0100)
commit4ff6326c74ec504126a6fb6946aa07a513a77599
treee6042b7add7073c4852c539e4d5c612afa517286
parent55fc69a5ce1dd3d227e172e55202061019d93430
parentbe0b4afba3e39b3812c4c937d3e94430539f72a8
Merge remote-tracking branch 'GuKK/bug-1442' into bug-1442