[hunchentoot-devel] New release 0.4.12 (Was: logo)