Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
It'd warn about GIT_SYNC being possibly undefined. This is correct in theory, in practice however we always set it from the outside and defining it here could lead to version skew or another place to update versions.
- Loading branch information