From e71a27370431e1ec9d4b6a6177426984b669f574 Mon Sep 17 00:00:00 2001
From: Jakub Zalas <jakub@zalas.pl>
Date: Fri, 20 Apr 2018 16:07:32 +0100
Subject: [PATCH] Update phan 0.12.2 -> 0.12.5

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

diff --git a/tools.json b/tools.json
index b641278d..57613e63 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.2/phan.phar",
+          "phar": "https://github.com/phan/phan/releases/download/0.12.5/phan.phar",
           "bin": "/usr/local/bin/phan"
         }
       },