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 -- [email protected] To unsubscribe send an email to [email protected] Archived at https://lists.genode.org/mailman3/hyperkitty/list/[email protected]/message/QXLNTC34LKJGVX2N23IITDL7T2EM2YBZ/
