Code

gitk: Fix potential bug with fake commit IDs in renumbervarc