Build arm-riscos-gnueabi (16-Nov-2025 20:33:37)

	No changes.
	0 errors, 0 warnings
	Started by upstream project libpencil build number 384 originally caused by: Started by upstream project librufl build number 387 originally caused by: Started by upstream project buildsystem build number 1535 originally caused by: Started by user Vincent Sanders
	Revision: b188c64565df5f4e83f42ab72c6c838635a75d84 origin/master