Merge pull request #21431 from stangri/master-nebula
authorStan Grishin <stangri@melmac.ca>
Sun, 23 Jul 2023 15:52:31 +0000 (08:52 -0700)
committerGitHub <noreply@github.com>
Sun, 23 Jul 2023 15:52:31 +0000 (08:52 -0700)
nebula: update to 1.7.2 (and cosmetic fixes)


Trivial merge