log

age author description
Fri, 16 Mar 2018 23:00:08 +0100 Christian Brabandt Added tag v8.0.1612 for changeset d130044d4f1fdda3f8dd2e1c9f85604833423b2d
Fri, 16 Mar 2018 23:00:07 +0100 Christian Brabandt patch 8.0.1612: need to close terminal after shell stopped v8.0.1612