Workspace of oi-encumbered on encumbered_node

	01-doc.patch	Aug 22, 2026, 12:21:39 PM	1.13 KiB
	02-Makefile_in.patch	Aug 22, 2026, 12:21:39 PM	687 B
	03-test-driver.patch	Aug 22, 2026, 12:21:39 PM	748 B
	04-avoid-R.patch	Aug 22, 2026, 12:21:39 PM	346 B
(all files in zip)