Merge "Rename settings-file to mvn-settings"
authorThanh Ha <thanh.ha@linuxfoundation.org>
Wed, 2 Aug 2017 13:49:54 +0000 (13:49 +0000)
committerGerrit Code Review <gerrit@linuxfoundation.org>
Wed, 2 Aug 2017 13:49:54 +0000 (13:49 +0000)

Trivial merge