From 43f054dbb47c86b125ec2822b9aacae7f900f3bc Mon Sep 17 00:00:00 2001 From: Gael Guennebaud Date: Thu, 1 Aug 2013 11:36:26 +0200 Subject: [PATCH] Added tag 3.0.7 for changeset 2a965155af8ea5646b91e22877077737bf4fd50b