Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Removed redundant Shape type #6964
dotty-bot left a comment
Hello, and thank you for opening this PR!
All contributors have signed the CLA, thank you!
We want to keep history, but for that to actually be useful we have
Please stick to these guidelines for commit messages:
Have an awesome day!