diff --git a/docs-issue-1215.md b/docs-issue-1215.md new file mode 100644 index 00000000..bc6f8c6f --- /dev/null +++ b/docs-issue-1215.md @@ -0,0 +1,3 @@ +Closes #1215 + +Tracking note for issue #1215. No functional change in this PR.