[taler-merchant] tag 8.0.0-dev.1 deleted (was 6a7bdb0)

[gnunet]

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

ms pushed a change to tag 8.0.0-dev.1
in repository merchant.

*** WARNING: tag 8.0.0-dev.1 was deleted! ***

     was 6a7bdb0  fix json_pack format string

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

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.