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