Merge remote-tracking branch 'github/master' into HEAD
authorDotnetBuild <dotnetbuild.tizen@gmail.com>
Tue, 27 Mar 2018 09:53:48 +0000 (09:53 +0000)
committerDotnetBuild <dotnetbuild.tizen@gmail.com>
Tue, 27 Mar 2018 09:53:48 +0000 (09:53 +0000)

Trivial merge