TAG release_0_7_2

darcs-hash:20060110224946-a4961-53a16697b3fdc8e952f68ddc0762b0e233236454.gz
This tag has no release notes.