Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[WIN32] fix build after the git rev number change. Doesn't report the…
… proper git commit yet. (cherry picked from commit 1c5bfa4)
- Loading branch information