Commit 7b134cfebe3d37f3679119b447edcad12e6beec1

Vicent Martí 2011-05-18T17:04:12

Merge pull request #141 from jpfender/unmerged index: Add API for unmerged entries