Unused libgc-7.2 package?

[Leo Famulari]

Do we need the libgc-7.2 package anymore? AFAICT, nothing is using it,
but it's possible I missed something.