[hunchentoot-devel] PATCH: Some minor fixes for cl-webdav under hunchentoot 1.0