In the wiki on the User Rights page under Company Level Permissions, it says, "If a company has no workspace permission at all, then you can't set workspace permissions for users of that company. (But as soon as you have set at least one permission, users can be given permission to any workspace, as stated above.)"
However, In 1.3.1 I can create a company with no workspace permissions, and then create a user for that company, and I can also set his workspace permissions, contrary to what that says above. Is that second bullet point wrong, or is there a bug in 1.3.1?