mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-28 21:24:26 +00:00
The 'File_content::for_each_line' method did not correctly detect the end of data for files without a trailing linebreak, thereby cutting the last character from the last line.