Bug#938932: RM: pump/0.8.24-7

[Moritz Muehlenhoff]

Package: release.debian.org
Severity: normal
User: release.debian....@packages.debian.org
Usertags: rm

Same as for #935458 in Buster, please also remove from Stretch.

Cheers,
        Moritz