log

age author description
Tue, 05 Dec 2017 17:00:08 +0100 Christian Brabandt patch 8.0.1373: no error when settting 'renderoptions' before starting GUI v8.0.1373
Tue, 05 Dec 2017 17:00:08 +0100 Christian Brabandt Added tag v8.0.1372 for changeset 5532b5176870060b0ac1dae2517a9040dabc158d
Tue, 05 Dec 2017 17:00:07 +0100 Christian Brabandt patch 8.0.1372: profile log may be truncated halfway a character v8.0.1372
Tue, 05 Dec 2017 15:15:06 +0100 Christian Brabandt Added tag v8.0.1371 for changeset ec86ba548446a7237df9877614e3d3c0ddda4bd5
Tue, 05 Dec 2017 15:15:05 +0100 Christian Brabandt patch 8.0.1371: Shift-Insert doesn't always work in MS-Windows console v8.0.1371
Tue, 05 Dec 2017 14:15:05 +0100 Christian Brabandt Added tag v8.0.1370 for changeset da725bc3fd2c00a78d47f81ea7c135093b78a555
Tue, 05 Dec 2017 14:15:04 +0100 Christian Brabandt patch 8.0.1370: channel test for callback is flaky v8.0.1370