Bumped version number for release.

Author: David Haeffner

packages/selenium-ide/src/manifest.json

@@ -2,8 +2,8 @@
   "description": "Selenium Record and Playback tool for ease of getting acquainted with Selenium WebDriver.",
   "manifest_version": 2,
   "name": "Selenium IDE",
-  "version": "3.1.0.0",
-  "version_name": "3.1.0",
+  "version": "3.1.1.0",
+  "version_name": "3.1.1",
   "homepage_url": "https://github.com/SeleniumHQ/selenium-ide",
   "icons": {
     "16": "icons/icon16.png",