Merge pull request #19274 from MattGal/remove-ubuntu-1710
authorMatt Galbraith <MattGal@users.noreply.github.com>
Fri, 3 Aug 2018 17:37:53 +0000 (10:37 -0700)
committerGitHub <noreply@github.com>
Fri, 3 Aug 2018 17:37:53 +0000 (10:37 -0700)
Remove EOL Ubuntu 17.10


Trivial merge