[Pkg-puppet-devel] Processed: Fwd: CVE-2018-11751

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> notfound 952925 puppet/5.5.10-4
Bug #952925 {Done: Greg Price <gnprice at gmail.com>} [src:puppet] CVE-2018-11751
No longer marked as found in versions puppet/5.5.10-4.
> thanks
Stopping processing here.

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