Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Sync the branch graph on project saving
* Since 8642393 the branch graph is not necessarily rebuilt on project loading. It may however be out of sync at the time of project writing, if e.g. points have been deleted with no branch graph sync after that * In order to achieve a consistent situation the branch graph is synced before saving. It is actually only synced, if it was found to be outdated.
- Loading branch information