On Sunday, July 8, 2018 at 10:14:30 PM UTC+2, Christian Gollwitzer wrote:
> run until the process is finished and meanwhile the event loop can't
> process any events, which means that the screen is
You received this digest because you're subscribed to updates for this group. You can change your settings on the group membership page.
To unsubscribe from this group and stop receiving emails from it send an email to [hidden email].