Merge pull request #586 from hzeller/more-sourcepos-logging
authorClifford Wolf <clifford@clifford.at>
Fri, 20 Jul 2018 17:22:59 +0000 (19:22 +0200)
committerGitHub <noreply@github.com>
Fri, 20 Jul 2018 17:22:59 +0000 (19:22 +0200)
commit323f6f6f6006eadcaec180f2cc1556f1f3303be3
tree5fa7d4a1b89185e008072bdbd51cbbcd05688280
parent1de07eeee22499760d18e00ba32edf64564aa25e
parent68b5d0c3b11588946982939c00fd6febe198e13f
Merge pull request #586 from hzeller/more-sourcepos-logging

Convert more log_error() to log_file_error() where possible.