tree d4a619ea328bf79b66b324120141edef01521a47
parent 8339c66068c8e964f8bf1eca10745db730bf62fa
parent 34b320535bde5505429f1349fc7d5cc423857a20
author Carlos Martín Nieto <carlosmn@github.com> 1481582591 +0000
committer GitHub <noreply@github.com> 1481582591 +0000

Merge pull request #4018 from pks-t/pks/various-fixes

Various fixes