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)
commit0e15388a8495429c2e940523806ad33a13dd3d1e
tree676d51b358e81b2799d989101cbd8255bf0b0dd3
parent5bc8caf33bd6c55f9511274a36d971ddfc3f60ff
parenta055c59cb8f294561b88d3823f455150bce850bf
Merge pull request #21431 from stangri/master-nebula

nebula: update to 1.7.2 (and cosmetic fixes)