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 users@lists.genode.org https://lists.genode.org/listinfo/users
