[ann] [hunchentoot-announce] New release 0.12.0