message: Release 0.0.69
diff: "name": "lean4",
  "displayName": "lean4",
  "description": "Lean 4 language support for VS Code",
  - "version": "0.0.68",
  + "version": "0.0.69",
  "publisher": "leanprover",
  "engines": {
  "vscode": "^1.57.0"
  