diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2018-05-22 18:10:31 -0400 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2018-05-22 18:10:31 -0400 |
| commit | a1eb9c2cbd822184ee8768c85c9bb4c0d41642a9 (patch) | |
| tree | 19eeecec01fcfad585ccc3847cce2e5a0d4be9a6 | |
| parent | 636017dcc3e1788837d25a3d902b7040be779135 (diff) | |
Bumped version to 7.14.1
| -rw-r--r-- | manifest.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manifest.json b/manifest.json index 883c7fc..6deb2ec 100644 --- a/manifest.json +++ b/manifest.json @@ -2,7 +2,7 @@ "manifest_version": 2, "name": "GNU LibreJS [webExtensions]", "short_name": "LibreJS [experimental]", - "version": "7.14", + "version": "7.14.1", "author": "various", "description": "Only allows free and/or trivial Javascript to run.", "applications": { |