Merge pull request #549 from Arnavion/unreferenced-catch-symbol
authorMihai Bazon <mihai.bazon@gmail.com>
Sat, 13 Sep 2014 06:29:34 +0000 (09:29 +0300)
committerMihai Bazon <mihai.bazon@gmail.com>
Sat, 13 Sep 2014 06:29:34 +0000 (09:29 +0300)
Don't warn for an unreferenced exception symbol in a catch block.


Trivial merge