diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2019-05-06 19:08:38 -0400 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2019-05-06 19:08:38 -0400 |
| commit | 525e3a562348813ca11a135cbc640825579af709 (patch) | |
| tree | 19b9d88c5cd5e5ccea7d7a9b1dc8b88427061192 | |
| parent | ca7389735c0b3d0379109909e113ab153cac4b02 (diff) | |
Bumped version to 7.20.1
| -rw-r--r-- | manifest.json | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/manifest.json b/manifest.json index 33d8369..61c770c 100644 --- a/manifest.json +++ b/manifest.json @@ -1,8 +1,8 @@ { "manifest_version": 2, - "name": "GNU LibreJS [webExtensions]", - "short_name": "LibreJS [experimental]", - "version": "7.20", + "name": "GNU LibreJS", + "short_name": "LibreJS", + "version": "7.20.1", "author": "various", "description": "Only allows free and/or trivial Javascript to run.", "applications": { |