Merge branch '8.3'

sebastianbergmann · Sep 10, 2019 · d5a2676 · d5a2676
2 parents cfe3a02 + 5c959e3
commit d5a2676
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/phive.xml b/phive.xml
@@ -4,5 +4,5 @@
   <phar name="php-cs-fixer" version="^2.14" installed="2.15.3" location="./tools/php-cs-fixer" copy="true"/>
   <phar name="phpdox" version="^0.11" installed="0.12.0" location="./tools/phpdox" copy="true"/>
   <phar name="phploc" version="^4.0" installed="4.0.1" location="./tools/phploc" copy="true"/>
-  <phar name="psalm" version="^3.5" installed="3.5.0" location="./tools/psalm" copy="true"/>
+  <phar name="psalm" version="^3.5" installed="3.5.1" location="./tools/psalm" copy="true"/>
 </phive>
diff --git a/tools/psalm b/tools/psalm