commit 8abe9b38635d1cd4508c007aa7b1f2b4aa200121
Author: Jan Dankert 
Date:   Tue Nov 5 00:03:44 2019 +0100

    Fix: WebDAV was renamed to DAV.

 dav.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)