From 4c3d5a788d1904c7586e6a5e2482a7dacc8594f7 Mon Sep 17 00:00:00 2001
From: Michael Davidsaver <mdavidsaver@gmail.com>
Date: Thu, 31 Oct 2019 10:34:52 -0700
Subject: [PATCH] release notes for 8.0.1

---
 documentation/release_notes.dox | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/documentation/release_notes.dox b/documentation/release_notes.dox
index 451338f..54bb7f5 100644
--- a/documentation/release_notes.dox
+++ b/documentation/release_notes.dox
@@ -2,11 +2,12 @@
 
 @page release_notes Release Notes
 
-Release X.Y.Z (UNRELEASED)
+Release 8.0.1 (Nov 2019)
 ==========================
 
 - Incompatible changes
  - Requires Base >= 3.15
+- Bug fixes
 
 Release 8.0.0 (July 2019)
 =========================