[Termtools] Re: StarExec still down

Hi Florian,

course. So if necessary, we will extend the registration deadline

further. Let's reassess the situation when StarExec is again available. meanwhile - can you urge starexec to publish

thanks for recognizing this problem the VM specs (even if they don't change) https://github.com/StarExec/StarExec/issues/386#issuecomment-2157992657 Best regards, Johannes.