Merge pull request #584 from hzeller/provide-source-location-logging
authorClifford Wolf <clifford@clifford.at>
Fri, 20 Jul 2018 14:36:06 +0000 (16:36 +0200)
committerGitHub <noreply@github.com>
Fri, 20 Jul 2018 14:36:06 +0000 (16:36 +0200)
commitbf68e9a94ae243e04e4c3f42999420aca34e94ee
tree37a93a112c809c11cdecae91ed7042bea0dd793f
parent87aef8f0cc9ee63fc8fe5eb26e6ceb73aa83b5c9
parent1a60126a3468c525ac31de930dfb139b70512a34
Merge pull request #584 from hzeller/provide-source-location-logging

Provide source-location logging.