gdb.git: gc'd: repo size: 388MiB -> 148MiB

[Tom Tromey]

>>>>> "Jim" == Jim Meyering <jim@meyering.net> writes:

Jim> FYI, I've just run git gc on the server's gdb.git repository.
Jim> That saved 240MiB (!).

Thanks, Jim.

Tom