Merge pull request #20372 from stangri/master-pbr
authorStan Grishin <redacted>
Mon, 23 Jan 2023 10:42:36 +0000 (03:42 -0700)
committerGitHub <redacted>
Mon, 23 Jan 2023 10:42:36 +0000 (03:42 -0700)
pbr: bugfix: fix is_domain()


Trivial merge
git clone https://git.99rst.org/PROJECT