mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
This patch fixes a problem that unsurfaced by the commit "menu_view: API transition", which changed the class layout of the 'Png_image' so that the 'Read_struct' pointer is no longer equal to the 'Png_image' pointer.