Workspace of gerrit-binpkgs on build5-deb12build-ansible

	Makefile	Jan 21, 2026, 1:10:39 PM	90 B
	msgb.c	Jan 21, 2026, 1:10:39 PM	1.75 KiB
	sercomm_cons.c	Jan 21, 2026, 1:10:39 PM	2.91 KiB
	sercomm.c	Jan 21, 2026, 1:10:39 PM	7.05 KiB
	timer.c	Jan 21, 2026, 1:10:39 PM	5.23 KiB
(all files in zip)