From 4f9c728e51b2a95691445d6ba7102ebbfee2567b Mon Sep 17 00:00:00 2001
From: meggert <eggertm@irs.uni-stuttgart.de>
Date: Mon, 13 Feb 2023 15:49:07 +0100
Subject: [PATCH] changelog

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 8065e36..69341fe 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -10,6 +10,10 @@ list yields a list of all related PRs for each release.
 
 # [unreleased]
 
+## Fixed
+
+- Fixed GPS processed set output
+
 # [v2.12.5] 2023-02-13
 
 ## Added