cli/dump: fix bug in dump header

Fix copy paste error.

(cherry picked from commit 1f3c7916f82774cacbfbb0fbc9d0e0aaae9399b3)
(changes to missing test dropped)

diff --git a/notmuch-dump.c b/notmuch-dump.c
index e7965ceab1c55fb9347b6657df45fa62330b4839..0bb946f8f3378babd16d261d2e1106e068150db5 100644 (file)
--- 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) {
        sep = ",";
     }
     if (include & DUMP_INCLUDE_TAGS) {

-       gzprintf (output, "%sproperties", sep);
+       gzprintf (output, "%stags", sep);

     }
     gzputs (output, "\n");
 }
     }
     gzputs (output, "\n");
 }