v8.0.1295
e42a6d25 · patch 8.0.1295: cannot automatically get a server name in a terminal ·