Thomas Haller 07efcc124f release: improve hint about documentation in "release.sh" ... A "minor" release can still be the latest release. It depends on which minor release you do. The script isn't smart enough to understand the difference, so make the hint a bit clearer. (cherry picked from commit 3c548dd081)		2023-04-06 12:42:52 +02:00
..
rpm	release: improve hint about documentation in "release.sh"	2023-04-06 12:42:52 +02:00
utils	contrib/makerepo.sh: fix name for local cache of git repository	2022-04-15 11:24:19 +02:00
REQUIRED_PACKAGES	contrib: avoid using "sudo" in REQUIRED_PACKAGES scripts	2023-02-08 10:53:03 +01:00