Commit a509694c17c2162d6a1d8251579ddf518adf3dd3

Nick Wellnhofer 2023-02-21T15:35:57

pattern: Merge identical branches Fixes #479.