is there a way to filter 4,360 Closed Issues in the github repository? same thing in the mailing list's online archive dating back July 2008? -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.genode.org/pipermail/users/attachments/20230114/a88b6605/attachment.htm>