Increase patch version after publishing

Release-Procedure.md

@@ -63,6 +63,25 @@ Run the `publish.sh` task with the version number as specified in the `package.j
 
     ./tasks/publish.sh 3.1.0
 
+### Bump the patch version number
+
+For sensible updates to ol@dev, edit `package.json` and bump the patch version number, e.g.
+```json
+{
+  "name": "openlayers",
+  "version": "3.1.1"
+}
+```
+Propagate this change to `package-lock.json`:
+
+    npm install
+
+Commit and push this directly to master:
+
+    git add package.json package-lock.json
+    git commit -m "Developing on 3.1.1"
+    git push openlayers master
+
 ### Update website
 
 You need a local clone of the [openlayers.github.io](https://github.com/openlayers/openlayers.github.io) repo, with the `build` branch checked out.