Merge pull request #11217 from peter-stadler/ariang-nginx
authorRosen Penev <rosenp@gmail.com>
Mon, 3 Feb 2020 22:12:19 +0000 (14:12 -0800)
committerGitHub <noreply@github.com>
Mon, 3 Feb 2020 22:12:19 +0000 (14:12 -0800)
ariang: rename nginx configuration file


Trivial merge