On Wed, Nov 23, 2016 at 10:29:41PM +0100, Ludovic Courtès wrote: > Leo Famulari <l...@famulari.name> skribis: > > > Do we need the libgc-7.2 package anymore? AFAICT, nothing is using it, > > but it's possible I missed something. > > Indeed, you can remove it.
Done as c8d1e7a1308e3c83aeb556be7d5b1e1836544e95 on core-updates.