mirror of
https://github.com/git-for-windows/git.git
synced 2026-05-03 12:26:23 -05:00
Both of these casts _should_ be safe, since you do not want to muck around with the version or the path anyway. Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de> Signed-off-by: Junio C Hamano <junkio@cox.net>