# HG changeset patch
# User Sebastien Jodogne <s.jodogne@gmail.com>
# Date 1706782764 -3600
# Node ID 7a9d5186b51b780e6dc873577f17ee879f590127
# Parent  575aa420f86653a24284f48c319dcf8237769d21
note

diff -r 575aa420f866 -r 7a9d5186b51b Plugins/WebDav/Run.py
--- a/Plugins/WebDav/Run.py	Thu Feb 01 09:41:57 2024 +0100
+++ b/Plugins/WebDav/Run.py	Thu Feb 01 11:19:24 2024 +0100
@@ -22,7 +22,7 @@
 
 
 import argparse
-import easywebdav
+import easywebdav   # easywebdav==1.2.0 is known to work with this test
 import io
 import os
 import pprint