Tue, 13 Nov 2018 23:33:59 +0100
fixes dav_session_get_href() generating random names when encrypt-name is disabled