diff options
author | Michael Vogt <mvo@debian.org> | 2013-07-26 22:18:36 +0200 |
---|---|---|
committer | Michael Vogt <mvo@debian.org> | 2013-07-26 22:18:36 +0200 |
commit | 163dc55bd6891008adcdf6d683a94e890a00f8c7 (patch) | |
tree | 13a3264a629ab99d4169030b6c9d790cb6f03b79 /cmdline | |
parent | 11d0fb919954e79f929ef5e755f602a6ed3be46d (diff) |
fix another missing va_end()
Diffstat (limited to 'cmdline')
0 files changed, 0 insertions, 0 deletions