HT 0.7.2 released.

This is hopefully the last 0.7.x release before the 0.8 releases can start.

Posted by Sebastian Biallas 2003-06-03