8 Aug
2025
8 Aug
'25
4:52 p.m.
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/ebeee04e83d48e5a82ae2edbddacd...
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