Hello Alice, thanks for the reply. I have followed the issue on github now. Upon reading the github issue, it appears you link to a commit that solves the problem? So is it simply a matter of waiting for it to be merged and included in the next release?
Cheers, Jack _______________________________________________ users mailing list -- users@lists.genode.org To unsubscribe send an email to users-le...@lists.genode.org Archived at https://lists.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/message/QXLNTC34LKJGVX2N23IITDL7T2EM2YBZ/