Closed reynir closed 4 years ago
This reverts a change in 2393d8d5b937139fdf705d1defca067c9eb7eadc.
GUI.listen does not return normally and we can document it in the type.
No reply to https://github.com/mirage/mirage-qubes/commit/2393d8d5b937139fdf705d1defca067c9eb7eadc#r34791187 so merging.
This reverts a change in 2393d8d5b937139fdf705d1defca067c9eb7eadc.
GUI.listen does not return normally and we can document it in the type.