[ann] [hunchentoot-announce] New release 0.13.0