mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-02 09:18:18 +00:00
0fd979b147
Reconstruct capture connection on config update in order to receive update of complete screen data from GUI session. fixes #3878