update wsgidav to 4.0.1 (#12) · Issues · DARIAH-DE / TextGridRep / Textgrid Repository WebDAV Server