[flint] tag debian/2.5.2-3 deleted (was 3f253be)

[Julien Puydt]

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

jpuydt-guest pushed a change to tag debian/2.5.2-3
in repository flint.

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

       was  3f253be   Release 2.5.2-3 for unstable -- transition bug #799245

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-science/packages/flint.git