Merge branch 'android-updates'
authorTobias Brunner <tobias@strongswan.org>
Thu, 14 Mar 2019 09:56:07 +0000 (10:56 +0100)
committerTobias Brunner <tobias@strongswan.org>
Thu, 14 Mar 2019 09:56:07 +0000 (10:56 +0100)
Adds a copy function for VPN profiles and an option to set custom DNS
servers.


Trivial merge