From 7062ba100167d82808d982475880a588f0aa32bf Mon Sep 17 00:00:00 2001
From: Juliusz Chroboczek <jch@irif.fr>
Date: Sun, 9 Jul 2023 14:02:47 +0200
Subject: [PATCH] Update CHANGES for 0.7.2.

---
 CHANGES | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/CHANGES b/CHANGES
index 5f9beb4..bfb7619 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,8 @@
+9 July 2023: Galene 0.7.2
+
+  * Improve workaround for Safari's autoplay-related mis-features.
+  * Fix minor bugs related to stateful tokens.
+
 14 May 2023: Galene 0.7.1
 
   * Fix incorrect error-handling in token parsing, which could cause