I'm surprised that you can't reproduce the error, because I got it on both of my computers. I'm using the upstream branch on my own repo, but it's synced to 18.08, which is only 1 dde_linux-related patch behind master.
On Mon, Sep 3, 2018 at 4:23 AM Christian Helmuth < christian.helmuth@genode-labs.com> wrote:
On Mon, Sep 03, 2018 at 12:12:44PM +0200, Christian Helmuth wrote:
Also, I couldn't prepare the fatfs port without updating the hash for ff13b.zip and then for fatfs.port.
We also had this issue back in July [1] when the author changed the ZIP file on the web server. I consider hosting our blessed version on our own server to circumvent this annoyance. Thanks for reporting.
[1]
https://github.com/genodelabs/genode/commit/5f9ac94bef5b97676dedb77a5155a64a...
Note that I reopened issue 2766 on GitHub [1].
[1] https://github.com/genodelabs/genode/issues/2766
-- Christian Helmuth Genode Labs
https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users