Re: [PATCH v2] Omit User-Agent: header by default
[notmuch-archives.git] / 81 / c744b37fc3549d8dd9906ebbae5befb4ffaf18
2016-08-20 Sanjoy MahajanRe: slight workaround needed to use gnus-alias