Merge pull request #12509 from alalek:fix_cv_ptr_default_deleter
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Wed, 12 Sep 2018 18:45:00 +0000 (18:45 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Wed, 12 Sep 2018 18:45:01 +0000 (18:45 +0000)

Trivial merge