From b7717e71de8796e4cbd43ae011abd7c2ed6b2870 Mon Sep 17 00:00:00 2001
From: Andrea Lepori <alepori@student.ethz.ch>
Date: Mon, 30 May 2022 19:43:47 +0200
Subject: doclist group filter work as expected

---
 version.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'version.txt')

diff --git a/version.txt b/version.txt
index 7ab6a01..0ec8ad6 100644
--- a/version.txt
+++ b/version.txt
@@ -1,2 +1,2 @@
 version=0.5
-rev=25
+rev=26
-- 
cgit v1.2.1