2 Commits

Include renames

Author	SHA1	Message	Date
Robert Schmidt	77b57bc2d6	CI: increase UE thread pool size ... There seem to be randomly occurring deadlocks when running the UE in the CI. MR !3091 should fix this. While waiting for this, apply a workaround by increasing the number of worker pools in the UE to 12.	2024-11-18 17:20:39 +01:00
hardy	311af7788b	ue conf file into repo	2021-11-25 21:23:59 +01:00