tree 14d1e510bdebd17d7d17bf060d4a94ffb199e593
parent 00d9054fe648ff69443e777cb78e8357216cbaf3
author Han-Wen Nienhuys <hanwen@google.com> 1580152497 +0100
committer Han-Wen Nienhuys <hanwen@google.com> 1580304165 +0100

Get rid of deprecated name gerritfmt

Change-Id: Id5108b3ac39ad6d55d18855a193a2337154d12d3