From 463b0c2af2703de4124bb565007f33086e3cfab3 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Wed, 8 May 2024 11:44:21 +0200
Subject: [PATCH] changes for 8.0.2

---
 CHANGES.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index 6f441b44..f6401443 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,3 +1,9 @@
+### v8.0.2 (2024-05-08)
+
+* remove mirage-random-test dependency (#514 @hannesm)
+* remove calls to mirage-profile in tests, now support mirage-vnetif 0.6.1
+  (#514 @hannesm)
+
 ### v8.0.1 (2024-03-26)
 
 * TCP: add `src : flow -> ipaddr * int`, implemented by `getsockname` on unix