Search
18:40:54
haritz
how can I change a window name?
19:31:54
adlai
haritz: there are multiple ways, thus your question will quite possible be answered by another
19:32:37
adlai
ACTION also glances at version numbers, commit histories, and concludes irrelevance