Updated git symbol file (internal change)