From 5ed04a326a67ab3f78750c188e3dbf4d760911df Mon Sep 17 00:00:00 2001 From: "https://openid-provider.appspot.com/iakornfeld" Date: Tue, 15 May 2018 14:59:42 +0000 Subject: [PATCH] Added a comment: Another weird bit --- .../comment_1_9b274536dd5b2f29207fa2bebf3cad28._comment | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 doc/bugs/Metadata_views_in_v6_repo_upgraded_from_direct_mode_act_strangely/comment_1_9b274536dd5b2f29207fa2bebf3cad28._comment diff --git a/doc/bugs/Metadata_views_in_v6_repo_upgraded_from_direct_mode_act_strangely/comment_1_9b274536dd5b2f29207fa2bebf3cad28._comment b/doc/bugs/Metadata_views_in_v6_repo_upgraded_from_direct_mode_act_strangely/comment_1_9b274536dd5b2f29207fa2bebf3cad28._comment new file mode 100644 index 0000000000..648d7c84ff --- /dev/null +++ b/doc/bugs/Metadata_views_in_v6_repo_upgraded_from_direct_mode_act_strangely/comment_1_9b274536dd5b2f29207fa2bebf3cad28._comment @@ -0,0 +1,8 @@ +[[!comment format=mdwn + username="https://openid-provider.appspot.com/iakornfeld" + nickname="iakornfeld" + subject="Another weird bit" + date="2018-05-15T14:59:42Z" + content=""" +I forgot to put this in the example, but if the file has an extension the directory name is put *before* the extension. +"""]]