[PATCH] Omit User-Agent: header by default
[notmuch-archives.git] / f5 / c026175fa678c3984c8a67028653974d34015e
2016-08-20 Gaute HopeRe: DatabaseModifiedErrors causing troubles