Merge branch 'cipy-improved-logging'
authorPhil Howard <phil@gadgetoid.com>
Tue, 20 Aug 2019 15:22:17 +0000 (16:22 +0100)
committerPhil Howard <phil@gadgetoid.com>
Tue, 20 Aug 2019 15:22:17 +0000 (16:22 +0100)
commit476a391afd0fdced2c3e0294dd3efded0e57a7b7
treeff8c63b7d1c226117fcb6869760a2a11394ab41a
parent998bb2e90a2bab0ce43f92ee0988bfab3a29ea96
parent23cf04451d7cb0d6acf6b4b55bd3f57d11c6cc24
Merge branch 'cipy-improved-logging'