Merge pull request #3226 from ericcurtin/rm-rhivos
authorColin Walters <walters@verbum.org>
Sat, 30 Mar 2024 13:40:17 +0000 (09:40 -0400)
committerGitHub <noreply@github.com>
Sat, 30 Mar 2024 13:40:17 +0000 (09:40 -0400)
README & docs: Remove "RHIVOS" acronym


Trivial merge