# HG changeset patch # User Arne Babenhauserheide # Date 1606894402 -3600 # Wed Dec 02 08:33:22 2020 +0100 # Branch regularity # Node ID 6d7a3063d7703171c9555d07c960f1b21c80fd2d # Parent 2e638165807d4efb8a925be256a25d4075bf525a closed regularity: no longer required