Merge pull request #4256 from mwichmann/maint/regexps
commitee29926afdb2a80c9ff7244dd5de3ff90aa36b29
authorWilliam Deegan <bill@baddogconsulting.com>
Sun, 13 Nov 2022 13:34:58 +0000 (13 05:34 -0800)
committerGitHub <noreply@github.com>
Sun, 13 Nov 2022 13:34:58 +0000 (13 05:34 -0800)
treeae20ffe7a93a3a34704b88d4a83ece92494599ac
parentb4a4f0ce42b33376c63f7f931d578c7e8b48e98a
parentc309375eb9972bab48cc8e84187a40c33a59e713
Merge pull request #4256 from mwichmann/maint/regexps

Maintenance: fix some fiddly checker errors