Release 4.1.2

Author: rjuju

CHANGELOG

@@ -1,7 +1,9 @@
-4.1.2(WIP):
+4.1.2:
   Bug fixes:
   - Restore compatibility with tornado 2.0, thanks to github user hrawulwa for
     the report.
+  - Fix detection of extension in local mode(Julien Rouhaud, thanks to Magnus
+    Hagander for the report)
 4.1.1:
   New features:
   - Use locally available info for remote server configuration page when