2 commits

Author	SHA1	Message	Date
Jörn-Michael Miehe	72e33238c4	implement timeout instead of scheduling	2022-09-05 23:30:05 +02:00
Jörn-Michael Miehe	c65aba82a4	rename project	2022-09-05 23:30:05 +02:00