Merge pull request #2175 from Xiretza/missing-noreturn
authorwhitequark <whitequark@whitequark.org>
Fri, 19 Jun 2020 15:46:54 +0000 (15:46 +0000)
committerGitHub <noreply@github.com>
Fri, 19 Jun 2020 15:46:54 +0000 (15:46 +0000)
commitd5d0cc88d272b85c3be3677993596dcfa82d579f
treef95fb6ee8826f74df945a033ea2161b0fab6f82c
parentede4b10da8fdbdcff900b93c6c723516901483ff
parent817411044a689cc26a5444a108f4f66c6484f632
Merge pull request #2175 from Xiretza/missing-noreturn

Add missing [[noreturn]] to log_file_error()