On Nov 27, 2022, at 6:10 AM, Joachim Breitner <mail@joachim-breitner.de> wrote:

#522: Or Patterns
     2022-08-08: Assigned to Richard
     2022-08-19: Richard recommends acceptance
     2022-10-18: Last message
     Richard, is this discussion converging?