Workspace of gerrit-osmo-tetra-build on Built-In Node

	download_and_patch.sh	Jul 26, 2023, 2:56:18 PM	869 B
	filename-case.patch	Jul 26, 2023, 2:56:18 PM	1.16 KB
	fix_64bit.patch	Jul 26, 2023, 2:56:18 PM	836 B
	log_stderr.patch	Jul 26, 2023, 2:56:18 PM	5.20 KB
	makefile-cleanups.patch	Jul 26, 2023, 2:56:18 PM	1.41 KB
	README	Jul 26, 2023, 2:56:18 PM	1.34 KB
	round_private.patch	Jul 26, 2023, 2:56:18 PM	6.56 KB
	series	Jul 26, 2023, 2:56:18 PM	97 B
(all files in zip)