# HG changeset patch
# User Arne Babenhauserheide <arne.babenhauserheide@disy.net>
# Date 1606894428 -3600
#      Wed Dec 02 08:33:48 2020 +0100
# Node ID aeb4e946952112b389bb0f5fdfa83d02c63ca237
# Parent  c8a66bf20976f6f6177cc4e5a82497a1c74478b8
# Parent  6d7a3063d7703171c9555d07c960f1b21c80fd2d
merge closed regularity