Control: tags -1 +pending

Fixed in git, but we need for a libgap-sage update before the next upload.

Reply via email to