[Pkg-puppet-devel] Processed: fixed 712745 in 2.7.18-5

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> fixed 712745 2.7.18-5
Bug #712745 {Done: Stig Sandbeck Mathisen <ssm at debian.org>} [puppet] puppet: CVE-2013-3567
There is no source info for the package 'puppet' at version '2.7.18-5' with architecture ''
Unable to make a source version for version '2.7.18-5'
Marked as fixed in versions 2.7.18-5.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
712745: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=712745
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems