Admin message

Aufgrund einer Wartung am 23.04.2026 von 14:30 bis 15:30 Uhr werden git.rwth-aachen.de & git-ce.rwth-aachen.de zeitweise nicht zur Verfügung stehen. --en-- Due to maintenance at 23.04.2026 from 14:30 to 15:30, git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable.

non_detach_benchmark_point
Ali Can Demiralp's avatar
Ali Can Demiralp
@acdemiralp
24252dcf · Added detach implementation. · May 23, 2020