summary refs log tree commit diff
path: root/changelog.d/7141.doc
diff options
context:
space:
mode:
Diffstat (limited to 'changelog.d/7141.doc')
-rw-r--r--changelog.d/7141.doc1
1 files changed, 1 insertions, 0 deletions
diff --git a/changelog.d/7141.doc b/changelog.d/7141.doc
new file mode 100644
index 0000000000..2fcbd666c2
--- /dev/null
+++ b/changelog.d/7141.doc
@@ -0,0 +1 @@
+Clean up INSTALL.md a bit.
\ No newline at end of file