[DRE-maint] Bug#971841: seems to have found a work around for now

[Pirate Praveen]

On Thu, 26 Nov 2020 16:21:24 +0530 Pirate Praveen 
<praveen at onenetbeyond.org> wrote:
 > Moved /usr/bin/auto-apt-proxy to /usr/bin/auto-apt-proxy1
 >
 > and created /usr/bin/apt-proxy as
 >
 > #!/bin/sh
 > auto-apt-proxy1 echo "http://$(hostname -I |awk {'print $1'}):3142"

Ignore this, should have been sent to another bug.