[SCM] Eigen3 packaging. branch, master, updated. debian/3.1.3-2-7-gd4ae1fc

[Anton Gladky]

The following commit has been merged in the master branch:
commit a91ce24a7f0cb61c722e384ba06d6003fcc85dda
Merge: c61c475def21cd8f96ecd3faf08dab58a218ccfc 415b387c7ff1558a008450e597248fe4e9a7a3f2
Author: Anton Gladky <gladky.anton at gmail.com>
Date:   Wed Jul 24 12:37:27 2013 +0200

    Merge tag 'upstream/3.2.0'
    
    Upstream version 3.2.0


-- 
Eigen3 packaging.