Mention Alex Tomlins' --apt_proxy option

diff --git a/debian/changelog b/debian/changelog
index 73c06bc8013563fb7fe04be3dcaebc01cc30c4c1..7765ab74641b92b0fa39b53112cb52283a3c0ad7 100644 (file)
--- a/debian/changelog
+++ b/debian/changelog
@@ -17,6 +17,7 @@ xen-tools (4.3~dev-1) UNRELEASED; urgency=low
       /etc/apt/sources.list.d/*.list (Thanks Phil Frost!)
     - Only attempts to generate the ssh host keys if not already present
       (Closes: #607236; Thanks Vagrant Cascadian!)
+    - New option --apt_proxy (Thanks Alex Tomlins!)
   * Add dependency on openssh-client for ssh-keygen (Closes: #649108)
   * No more suggest evms-cli -- it's no more available on any supported
     Dom0 distribution. Thanks to Markus Waldeck for the hint.