From 40b54ace59b7fc500a1e46e7f9398e0895ec8654 Mon Sep 17 00:00:00 2001 From: Jens Pelzetter Date: Sat, 3 Aug 2019 20:06:03 +0200 Subject: [PATCH] Merge branch 'master' of git.libreccm.org:libreccm