Workspace of gerrit-binpkgs on build5-deb12build-ansible

	Makefile	Oct 1, 2025, 1:55:18 PM	90 B
	msgb.c	Oct 1, 2025, 1:55:18 PM	1.75 KiB
	sercomm_cons.c	Oct 1, 2025, 1:55:18 PM	2.91 KiB
	sercomm.c	Oct 1, 2025, 1:55:18 PM	7.05 KiB
	timer.c	Oct 1, 2025, 1:55:18 PM	5.23 KiB
(all files in zip)