update gtags to 6.2.12