Summary of changes: 529334a... Fixed serverbin-compat patch to avoid misleading errors (bu (*) c8ee3cf... Merge branch 'f12' into f13 (*) This commit already existed in another branch; no separate mail sent