Merge branch 'jk/notes-merge-config'

diff --git a/argv-array.h b/argv-array.h
index c65e6e825a96efca6111184e5c50d2406064631f..a2fa0aa606a01d5277e87d2368d7d6876b699474 100644 (file)
--- a/argv-array.h
+++ b/argv-array.h
@@ -17,6 +17,7 @@ __attribute__((format (printf,2,3)))
 void argv_array_pushf(struct argv_array *, const char *fmt, ...);
 LAST_ARG_MUST_BE_NULL
 void argv_array_pushl(struct argv_array *, ...);
+void argv_array_pushv(struct argv_array *, const char **);
 void argv_array_pop(struct argv_array *);
 void argv_array_clear(struct argv_array *);