Changes between Initial Version and Version 1 of Ticket #57271, comment 3


Ignore:
Timestamp:
Nov 3, 2018, 9:30:07 PM (5 years ago)
Author:
mojca (Mojca Miklavec)
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #57271, comment 3

    initial v1  
    11This was apparently removed on Nov 17, 2016 and ended up in version 5.2.0. Thanks for pointing it out.
     2
     3The terminal itself is still in the sources though.