From 0b3b4d266e3bd7e0b719921ae55e6af364106140 Mon Sep 17 00:00:00 2001
From: Sam Isaacson <isaacsas@users.noreply.github.com>
Date: Tue, 6 Aug 2024 13:54:02 -0400
Subject: [PATCH] Update HISTORY.md

---
 HISTORY.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/HISTORY.md b/HISTORY.md
index 1d2b0f7d..0bd03bde 100644
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -2,7 +2,7 @@
 
 ## JumpProcesses unreleased (master branch)
 
-## 9.12
+## 9.13
 
   - Added a default aggregator selection algorithm based on the number of passed
     in jumps. i.e. the following now auto-selects an aggregator (`Direct` in this