From 83dffdb25192e482ab25742e3cf4608c20441b0a Mon Sep 17 00:00:00 2001 From: David Bremner Date: Tue, 28 Mar 2017 08:09:03 -0300 Subject: [PATCH] cli/dump: fix bug in dump header Fix copy paste error. (cherry picked from commit 1f3c7916f82774cacbfbb0fbc9d0e0aaae9399b3) (changes to missing test dropped) --- notmuch-dump.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/notmuch-dump.c b/notmuch-dump.c index e7965cea..0bb946f8 100644 --- a/notmuch-dump.c +++ b/notmuch-dump.c @@ -84,7 +84,7 @@ print_dump_header (gzFile output, int output_format, int include) sep = ","; } if (include & DUMP_INCLUDE_TAGS) { - gzprintf (output, "%sproperties", sep); + gzprintf (output, "%stags", sep); } gzputs (output, "\n"); } -- 2.43.0