Looks like I have messed up the threading on [1] since I responded to the daily digest. I have since switched off the daily digest so that the subject lines remain intact. Again, my apologies.
[1] https://lists.genode.org/pipermail/users/2021-September/thread.html >
_______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
