servo/servo — pull request #3565 by glennw (2014-10-03 03:58:38+00:00)
Title: Add cmd line option to set user agent. Improves github when used.

Fixes #3455