diff --git a/doc/bugs/WEBDAV_export_has_wrong_subdirectory_content/comment_9_b25f2c71675f4d8f6a6e22bb5cd98b23._comment b/doc/bugs/WEBDAV_export_has_wrong_subdirectory_content/comment_9_b25f2c71675f4d8f6a6e22bb5cd98b23._comment new file mode 100644 index 0000000000..0f77bcd4a5 --- /dev/null +++ b/doc/bugs/WEBDAV_export_has_wrong_subdirectory_content/comment_9_b25f2c71675f4d8f6a6e22bb5cd98b23._comment @@ -0,0 +1,7 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 9""" + date="2021-03-17T13:44:02Z" + content=""" +Can you test the rename case mentioned in comment #7? +"""]]