Processed: user release.debian.org@packages.debian.org, usertagging 725311, tagging 725311
Processing commands for control@bugs.debian.org:
> user release.debian.org@packages.debian.org
Setting user to release.debian.org@packages.debian.org (was jcristau@debian.org).
> usertags 725311 pu
There were no usertags set.
Usertags are now: pu.
> tags 725311 + wheezy
Bug #725311 {Done: Julien Cristau <jcristau@debian.org>} [release.debian.org] pu: Getting Debian Edu 7.1+edu0 into the Upcoming stable point release (7.2)
Added tag(s) wheezy.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
725311: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=725311
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: