-(defun vc-dav-checkin (url rev comment)
- "Commit changes in URL to WebDAV.
-If REV is non-nil, that should become the new revision number.
-COMMENT is used as a check-in comment."
+(defun vc-dav-checkin (url comment &optional _rev)
+ "Commit changes in URL to WebDAV. COMMENT is used as a check-in comment."