diff options
author | David Kalnischkies <david@kalnischkies.de> | 2016-07-27 22:21:58 +0200 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2016-10-05 12:02:19 +0200 |
commit | df47efeb5764bba8ac4789727f9ffe970e5cd756 (patch) | |
tree | f3582e3a74f911949eb6a9b87adf31275c3f468c /doc/lang.makefile | |
parent | 6a6bcc4b3365a4455539271f87be1fa55ea237f1 (diff) |
(error) va_list 'args' was opened but not closed by va_end()
Reported-By: cppcheck
Gbp-Dch: Ignore
(cherry picked from commit 196d590a99e309764e07c9dc23ea98897eebf53a)
Diffstat (limited to 'doc/lang.makefile')
0 files changed, 0 insertions, 0 deletions