From 36efdd0591a4db71dc13dbfba7920bce2add4578 Mon Sep 17 00:00:00 2001
From: gorhill <rhill@raymondhill.net>
Date: Sun, 28 May 2017 10:55:00 -0400
Subject: [PATCH] new revision for dev build

---
 platform/chromium/manifest.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform/chromium/manifest.json b/platform/chromium/manifest.json
index 69a78231a..cda264066 100644
--- a/platform/chromium/manifest.json
+++ b/platform/chromium/manifest.json
@@ -2,7 +2,7 @@
     "manifest_version": 2,
 
     "name": "uBlock Origin",
-    "version": "1.12.5.12",
+    "version": "1.12.5.13",
 
     "commands": {
         "launch-element-zapper": {