UPDATE semantics for checked-out resources

Hi,

section 7.1 defines the UPDATE semantics checked-in resources:

"The UPDATE method modifies the content and dead properties of a checked-in
version-controlled resource (the "update target") to be those of a specified
version (the "update source") from the version history of that
version-controlled resource."

So is the behaviour for checked-out resources just undefined
(intentionally)?

I would have expected that DAV:must-be-checked-in is an explicit
precondition for this method...

Julian

--
<green/>bytes GmbH -- http://www.greenbytes.de -- tel:+492512807760