On Sun, 22 Jan 2012 01:20:57 +0100, Thomas Jost <schno...@schnouki.net> wrote: > JSON does not support hex literals (0x..) so numbers must be formatted > as %d instead of %x.
pushed, d _______________________________________________ notmuch mailing list notmuch@notmuchmail.org http://notmuchmail.org/mailman/listinfo/notmuch