Re: [hunchentoot-devel] New release 0.14.7 (Was: Workaround for OpenMCL bug in ENOUGH-NAMESTRING)