Merge pull request #10439 from neheb/art
authorRosen Penev <rosenp@gmail.com>
Mon, 4 Nov 2019 19:23:18 +0000 (11:23 -0800)
committerGitHub <noreply@github.com>
Mon, 4 Nov 2019 19:23:18 +0000 (11:23 -0800)
libartnet: Remove


Trivial merge