[Python-modules-commits] [pygments] branch patched deleted (was 2410f5d)

[Dmitry Shachnev]

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

mitya57 pushed a change to branch patched
in repository pygments.

       was  2410f5d   change_docs_theme

This change permanently discards the following revisions:

  discards  2410f5d   change_docs_theme
  discards  a639c89   Import pygments_2.0.2.orig.tar.gz

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/python-modules/packages/pygments.git