From c50e111a8c8c76cddc2aa81aa3f9fb78142c168b Mon Sep 17 00:00:00 2001
From: Daniela Rus Morales <danirus@eml.cc>
Date: Mon, 11 Mar 2024 17:08:18 +0100
Subject: [PATCH] Update ChangeLog for v0.3.1

---
 ChangeLog.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ChangeLog.md b/ChangeLog.md
index dec89d5..5ec6a63 100644
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,9 @@
 # Change Log
 
+## [0.3.1] - 2024-03-11
+
+- Serve static files with the version number in the name.
+
 ## [0.3.0] - 2024-03-10
 
 - When producing the HTML static site, create a file called `doc_versions.js`, containing the list of versions (name and url) specified in the `version` entry of the `html_theme_options`.