tree 651eb16bb2f808a6f203a1d33e411aed396ddd45
parent dcaddd9ea766b09a0e1c8a7936a03eb8ca2af836
author Philipp Wollermann <philwo@google.com> 1519219132 +0100
committer Philipp Wollermann <philwo@google.com> 1519219849 +0100

Fix some issues found by pylint.