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