Processing commands for cont...@bugs.debian.org:
> found 818081 1.2.0-1
Bug #818081 {Done: Mehdi Dogguy <me...@debian.org>} [opam] opam: Please apply
upstream patch: remove insecure / no-check-certificate flags
Marked as found in versions opam/1.2.0-1.
> thanks
Stopping processing here.Please contact me if you need assistance. -- 818081: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=818081 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
