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, 20121103 has been created at d141d3e079f3e5e3bc47491732fdda31b33c2c23 (tag) tagging a05969b29d31e3fc8e7186f6e53dfe1b839b6f5f (commit) replaces 20121027 tagged by Pierre Schmitz on Sat Nov 3 18:26:47 2012 +0100

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

Pierre Schmitz (2): Use nymeria.archlinux.org as shared host for developers and trusted users prepare release

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

hooks/post-receive