Merge pull request #13386 from alalek:android_gradle
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Fri, 21 Dec 2018 13:56:03 +0000 (13:56 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Fri, 21 Dec 2018 13:56:03 +0000 (13:56 +0000)

Trivial merge