[Debian-astro-commits] [starlink-pal] tag debian/0.5.0-3 deleted (was f8eda04)

[Ole Streicher]

This is an automated email from the git hooks/post-receive script.

olebole pushed a change to tag debian/0.5.0-3
in repository starlink-pal.

*** WARNING: tag debian/0.5.0-3 was deleted! ***

       was  f8eda04   Fix shortname of GPL-3+

The revisions that were on this tag are still contained in
other references; therefore, this change does not discard any commits
from the repository.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-astro/packages/starlink-pal.git