From d090b4c1d64e09e5483e8e8bb2f36bede69eac9e Mon Sep 17 00:00:00 2001
From: Jakub Zalas <jakub@zalas.pl>
Date: Wed, 14 Mar 2018 11:46:06 +0000
Subject: [PATCH] Update phan (0.12.0 => 0.12.2)

---
 tools.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools.json b/tools.json
index 84e2ea01..dc7e0e0c 100644
--- a/tools.json
+++ b/tools.json
@@ -140,7 +140,7 @@
       "website": "https://github.com/phan/phan",
       "command": {
         "phar-download": {
-          "phar": "https://github.com/phan/phan/releases/download/0.12.0/phan.phar",
+          "phar": "https://github.com/phan/phan/releases/download/0.12.2/phan.phar",
           "bin": "/usr/local/bin/phan"
         }
       },