message: Add version bump
diff: "name": "lean",
  "displayName": "lean",
  "description": "An extension for VS Code which provides support for the Lean language.",
  - "version": "0.9.0",
  + "version": "0.9.1",
  "publisher": "jroesch",
  "engines": {
  "vscode": "^1.8.0"
  