From 808986ee065937594ec2a96e0a5a38dde429f856 Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jeremie@dimino.org>
Date: Mon, 20 Apr 2020 13:09:21 +0100
Subject: [PATCH] 1.7.2

Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
---
 CHANGES.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index 6844a513..5507dc21 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,3 +1,8 @@
+v1.7.2 2020-04-20 Canterbury
+----------------------------
+
+- Remove toplevel `Option` module accidentally added in 1.7.0
+
 v1.7.1 2020-04-15 Canterbury
 ----------------------------