josh/useragent — pull request #60 by phocke (2013-07-24 07:06:16+00:00)
Title: Pull request that fixes the opera mini issue (#59)

Enjoy