Hi JohannesThanks for the info. I changed the encoding and tested it locally, now it works. I pusehd the updated version, so on the next fetch it should automatically update.
Cheers Pirmin _______________________________________________ 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/R5ZMVWJIRIGMRBVTQIEE7JVHF6YRJTSB/