Processing commands for cont...@bugs.debian.org: > close 843322 0.4.13-1 Bug #843322 [libproxy-dev] libproxy-dev: libproxy development moved to github, new release Marked as fixed in versions libproxy/0.4.13-1. Bug #843322 [libproxy-dev] libproxy-dev: libproxy development moved to github, new release Marked Bug as done > thanks Stopping processing here.
Please contact me if you need assistance. -- 843322: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=843322 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
