Build arm-unknown-riscos (04-Jan-2025 22:49:36)

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