[hunchentoot-devel] New release 0.7.2 (Was: Errors with test pages)