prg-git: finish 9.5