Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
[all] Update issofa bugfix #756
Manual merge to close PR #218
This PR will be further discussed during STC#3.
Reviewers will merge only if all these checks are true.