Created attachment 199240 [details]
updated patchfile patch-config_policy.xml
config/policy.xml has grown a new line with the content 'policy domain="resource" name="list-length"' since the patch was first created; thus the port fails during the patch phase.
This fixes the patch and unifies the new content under the existing line containing 'policy domain="coder"'.
This was fixed independent from this bug report.
Do we still need this patch by default?