From 8d7139b557ccc029e1c6326085b4b7dc519411a9 Mon Sep 17 00:00:00 2001
From: Pedro Algarvio <pedro@algarvio.me>
Date: Thu, 6 Aug 2015 14:33:25 +0100
Subject: [PATCH] Update changes log

---
 ChangeLog | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ChangeLog b/ChangeLog
index 6e3f51372..81e84b088 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -4,6 +4,7 @@ Version 2015.07.xx:
 	* Exit the git checkout directory before deleting it. Thanks Bret Fisher. #634
 	* Use prefix /usr for centos git install. Thanks Stanislav B. #638
 	* Drop Ubuntu EOL versions. All Ubuntu version before 12.04.
+	* Make sure python-dev is installed wheb trying to install tornado from PyPi. #640
 
 
 Version 2015.07.22: