From e5cdeff4bc704cd29f499f46d9bf0e5b0bf9c11c Mon Sep 17 00:00:00 2001
From: Jay Berkenbilt <ejb@ql.org>
Date: Sat, 7 Oct 2023 13:30:48 -0400
Subject: [PATCH] ChangeLog: mention sharing .idea files

---
 ChangeLog | 3 +++
 1 file changed, 3 insertions(+)

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