Skip to content

Benchmark: fix case sensitivity when checking hostname

Dr. Jorrit Fahlke requested to merge fix-bench-agamemnon-case-sensitivity into master

Apparently, hostname on agamemnon returns AGAMEMNON, in true WWU style...

Merge request reports