Merge branch 'poset_metrics'
authorJean Privat <jean@pryen.org>
Tue, 23 Jul 2013 16:51:19 +0000 (12:51 -0400)
committerJean Privat <jean@pryen.org>
Tue, 23 Jul 2013 16:51:19 +0000 (12:51 -0400)
commit75e2b9351b856d75be3e6c162567a6ba26d04916
treee70d02e24ddbcca448a993a337ea269803fd08b8
parent6a06bfd5a12b5bfef8585a50626b701ece8c8210
parentc7353513873203dac67c44a65ebdb2090b992c0b
Merge branch 'poset_metrics'