Changes between Initial Version and Version 1 of Ticket #57271, comment 3
- Timestamp:
- Nov 3, 2018, 9:30:07 PM (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #57271, comment 3
initial v1 1 1 This was apparently removed on Nov 17, 2016 and ended up in version 5.2.0. Thanks for pointing it out. 2 3 The terminal itself is still in the sources though.