| commit | ce986af6f0e040fa6b7d8232f1f8a274f55ad409 | [log] [tgz] |
|---|---|---|
| author | Philipp Wollermann <philwo@google.com> | Thu Jul 18 14:46:05 2019 +0200 |
| committer | Philipp Wollermann <philwo@google.com> | Thu Jul 18 16:00:35 2019 +0200 |
| tree | 2c6a797f82e2d030abbd864a96a993f8122ece0c | |
| parent | baac80c3ee67cf27c3cc778e55c0547b7bfb4ebe [diff] |
Fix error spotted by PyCharm