CLI: print extra headers in structured output

[notmuch] / devel / schemata

diff --git a/devel/schemata b/devel/schemata
index 01e3a3df03305244b1c206040c5d9c85ef3b8ac1..01810888e5a62d0ee28569cd5406ba19cefb7050 100644 (file)
--- a/devel/schemata
+++ b/devel/schemata
@@ -145,9 +145,11 @@ headers = {
     Cc?:            string,
     Bcc?:           string,
     Reply-To?:      string,
-    Date:           string
+    Date:           string,
+    extra_header_pair*
 }
 
+extra_header_pair=  (header_name: string)
 # Encryption status (format_part_sprinter)
 encstatus = [{status: "good"|"bad"}]