This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "The official devtools repository".

The annotated tag, 20131107 has been created at fa93f811f14c592bcee6cf52ba94d349523ed1ea (tag) tagging 40ea1b3ca5c6f6fdbeda230f4048ac7934d68acf (commit) replaces 20131101 tagged by Pierre Schmitz on Thu Nov 7 14:58:01 2013 +0100

- Log ----------------------------------------------------------------- tagging

Dave Reisner (1): find_cached_package: avoid adding duplicates

Jan Alexander Steffens (heftig) (1): makechrootpkg: Don't copy the logpipe

Markus M. May (1): FS#37656 - [devtools] add SRCPKGDEST to makechrootpkg

Pierre Schmitz (1): Prepare release

-----------------------------------------------------------------------

hooks/post-receive