2016-09-15 16:04 GMT+02:00 Steven Liu <lingjiujianke at gmail.com>: > double user-agent option, same option, remove one. Looking at the documentation, the patch is not ok as-is. I suggest to deprecate the option now, and to remove it after the next release. Carl Eugen