diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2018-11-02 14:18:11 +0000 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2018-11-02 14:18:11 +0000 |
| commit | 2eb42923521bcbe2e5bf233736bec64733542bdf (patch) | |
| tree | 30273e900afcf2110e85715efc40ab0a1bffafea | |
| parent | e2cd5ae6556359adf5116cd982a7645a69516306 (diff) | |
Version bumped to 7.18
| -rw-r--r-- | manifest.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manifest.json b/manifest.json index 03778d7..988ad03 100644 --- a/manifest.json +++ b/manifest.json @@ -2,7 +2,7 @@ "manifest_version": 2, "name": "GNU LibreJS [webExtensions]", "short_name": "LibreJS [experimental]", - "version": "7.17", + "version": "7.18", "author": "various", "description": "Only allows free and/or trivial Javascript to run.", "applications": { |