tree 45bde1e6a8330f17ede99b8f7d8a0b65a6d412a9
parent c737c94b6dd2044b7c1a7d506c57de7da6df97f4
author Repox <storm@err0r.dk> 1321880932 +0100
committer Repox <storm@err0r.dk> 1321880932 +0100

Added 'opera mobi' to user agents making it identified as 'Opera Mini'. Fixes issue #683