Merge pull request #14730 from BKPepe/nebula
authorRosen Penev <rosenp@gmail.com>
Sun, 14 Feb 2021 23:20:50 +0000 (15:20 -0800)
committerGitHub <noreply@github.com>
Sun, 14 Feb 2021 23:20:50 +0000 (15:20 -0800)
Nebula: downloading tarball with name and its version instead of just version and cosmetic polishing of Makefile


Trivial merge