Merge pull request #12858 from janisozaur:catch-by-ref
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Wed, 17 Oct 2018 08:19:11 +0000 (08:19 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Wed, 17 Oct 2018 08:19:12 +0000 (08:19 +0000)

Trivial merge