GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens, and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption in our documentation.
Remove unreachable and/or unneeded branches in function_space.py
This MR fixes issue #43 (closed) by removing three unreachable and/or unneeded branches that apparently were connected to left-overs from an initial treatment of manifolds.