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?
_______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
