From fefc8c11065744e1aeadb229bd9bd0b694d085d4 Mon Sep 17 00:00:00 2001
From: Axel Beckert <abe@deuxchevaux.org>
Date: Tue, 8 May 2012 00:41:21 +0200
Subject: [PATCH] Mention Alex Tomlins' --apt_proxy option

---
 debian/changelog | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/changelog b/debian/changelog
index 73c06bc..7765ab7 100644
--- 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.