From 55dd2d5ecd59ebc3ea1f4f88021151ea56b31a3a Mon Sep 17 00:00:00 2001
From: Jens Pelzetter <jens@jp-digital.de>
Date: Sat, 3 Aug 2019 20:06:03 +0200
Subject: [PATCH] Merge branch 'master' of git.libreccm.org:libreccm