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