ChangeLog: mention sharing .idea files

1 files changed, 3 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index 1e9f8154..b323558b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -4,6 +4,9 @@
         if the failure was caused by a previous call to finish. Fixes
         #1042.
 
+        * Push .idea directory with the beginning of a sharable JetBrains
+        CLion configuration.
+
 2023-09-05  Jay Berkenbilt  <ejb@ql.org>
 
         * 11.6.1: release