Hi Rumen,
On 2025-08-07 22:09, Rumen Mitov wrote:
I noticed that the GitHub links in the Genode Foundations Book
(version 25.05, HTML) are pointing to the 23.05 branch instead of
25.05. This caused some confusion on my end when cross-referencing
the documentation with the code.
thanks a lot for reporting! Very much appreciated.
I fixed the glitch [1] and updated the website just now.
[1]
https://github.com/nfeske/genode-manual/commit/ebeee04e83d48e5a82ae2edbddacd77f0d6fe895
Cheers
Norman
--
Dr.-Ing. Norman Feske
Genode Labs
https://www.genode-labs.com · https://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
_______________________________________________
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/USVPVW2DGODB6SE6B7P6ZFC53T5D3ZTH/
