[Termtools] [TerminationCompetitionSC] outermost competition

[Aart Middeldorp]

Jörg Endrullis wrote:

> When exactly will the outermost competition be run?

The outermost competition will run next Thursday. Details
will be announced tomorrow.

As of now, Simon will no longer read termination competition
related emails send to his personal email address. Please use

termcomp at informatik.uibk.ac.at

for questions/requests to the termination competition host.

-- Aart