Workspace of gerrit-dahdi-linux-stable-linux-4.19.y on build4-deb12build-ansible

	call_kern.cocci	Apr 28, 2024, 2:42:08 PM	2.11 KiB
	double_lock.cocci	Apr 28, 2024, 2:42:08 PM	1.52 KiB
	flags.cocci	Apr 28, 2024, 2:42:08 PM	1.54 KiB
	mini_lock.cocci	Apr 28, 2024, 2:42:08 PM	1.73 KiB
(all files in zip)