log

age author description
Thu, 16 Nov 2017 17:15:07 +0100 Christian Brabandt Added tag v8.0.1300 for changeset 14f2875522181e4e71558cc93cfe3ca62a65cdd1
Thu, 16 Nov 2017 17:15:06 +0100 Christian Brabandt patch 8.0.1300: file permissions may end up wrong when writing v8.0.1300
Thu, 16 Nov 2017 13:15:05 +0100 Christian Brabandt Added tag v8.0.1299 for changeset 15696054bc6c00665ef0877eff074c16fbccec94
Thu, 16 Nov 2017 13:15:05 +0100 Christian Brabandt patch 8.0.1299: bracketed paste does not work well in terminal window v8.0.1299
Tue, 14 Nov 2017 20:30:06 +0100 Christian Brabandt Added tag v8.0.1298 for changeset 28941cc872cacbebe037686e6c40e9c26c37a4b7
Tue, 14 Nov 2017 20:30:05 +0100 Christian Brabandt patch 8.0.1298: missing test file v8.0.1298
Mon, 13 Nov 2017 22:15:06 +0100 Christian Brabandt Added tag v8.0.1297 for changeset 174e0c952b4616e67adc7c94057060f58867a69e
Mon, 13 Nov 2017 22:15:05 +0100 Christian Brabandt patch 8.0.1297: +autoservername does not show enabled on MS-Windows v8.0.1297
Mon, 13 Nov 2017 21:15:04 +0100 Christian Brabandt Added tag v8.0.1296 for changeset 9ac41c3148cea7068c8346544e78d3b6b1b583b4
Mon, 13 Nov 2017 21:15:03 +0100 Christian Brabandt patch 8.0.1296: checking the same condition twice v8.0.1296
Sun, 12 Nov 2017 19:30:06 +0100 Christian Brabandt Added tag v8.0.1295 for changeset 963cdeb42c4100c72eaf8ec8991e4219a8418487
Sun, 12 Nov 2017 19:30:05 +0100 Christian Brabandt patch 8.0.1295: cannot automatically get a server name in a terminal v8.0.1295
Sun, 12 Nov 2017 18:45:05 +0100 Christian Brabandt Added tag v8.0.1294 for changeset a46dfb3935cf7b17511336a5dada2f6cda68ae3d
Sun, 12 Nov 2017 18:45:04 +0100 Christian Brabandt patch 8.0.1294: GUI: get stuck when splitting a terminal window v8.0.1294
Sun, 12 Nov 2017 18:15:05 +0100 Christian Brabandt Added tag v8.0.1293 for changeset db9ffed7e1fc09ee0266beda34a94def6a8c6c06